section(3,'F.2.10',swi('/doc/Manual/library.html'))

Did you know ...

Search Documentation:

Title for pldoc(object(section(3,'F.2.10',swi('/doc/Manual/library.html'))))

entailed/1	Check if constraint is entailed
inf/2	Find the infimum of an expression
sup/2	Find the supremum of an expression
minimize/1	Minimizes an expression
maximize/1	Maximizes an expression
bb_inf/3	Infimum of expression for mixed-integer problems
bb_inf/4	Infimum of expression for mixed-integer problems
bb_inf/5	Infimum of expression for mixed-integer problems
dump/3	Dump constraints on variables