13 docstrings not included in the manual: Satisfiability.__get_combined_name :: Union{Tuple{Array{T}}, Tuple{T}} where T<:AbstractExpr Satisfiability.__check_inputs_nary_op :: Union{Tuple{Array{T}}, Tuple{T}} where T Satisfiability.__combine :: Union{Tuple{T}, Tuple{Matrix{T}, Symbol}, Tuple{Matrix{T}, Symbol, Any}, Tuple{Matrix{T}, Symbol, Any, Any}} where T<:AbstractExpr Satisfiability.append_unique! :: Union{Tuple{T}, Tuple{Array{T}, Array{T}}} where T Satisfiability.push_unique! :: Union{Tuple{T}, Tuple{Array{T}, T}} where T Base.div :: Tuple{Union{BoolExpr, Satisfiability.NumericExpr}, Union{BoolExpr, Satisfiability.NumericExpr}} Satisfiability.flatten :: Union{Tuple{Array{T}}, Tuple{T}} where T Satisfiability.set_option! :: Tuple{InteractiveSolver, String, Any} Satisfiability.get_option :: Tuple{InteractiveSolver, String} Satisfiability.sat! :: Union{Tuple{Vararg{Union{Array{T}, T}}}, Tuple{T}} where T<:BoolExpr Satisfiability.sat! :: Union{Tuple{T}, Tuple{InteractiveSolver, Vararg{Union{Array{T}, T}}}} where T<:BoolExpr Satisfiability.__flatten_nested_exprs :: Union{Tuple{T}, Tuple{Function, Vararg{Union{Array{T}, T}}}} where T<:AbstractExpr Satisfiability.__is_permutation :: Tuple{Array, Array} These are docstrings in the checked modules (configured with the modules keyword) that are not included in canonical @docs or @autodocs blocks.