Did you know ... Search Documentation:
bounds.pl -- Simple integer solver that keeps track of upper and lower bounds
PublicShow source
author
- Tom Schrijvers
deprecated
- No longer maintained. Please use clpfd.pl

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source in(Arg1, Arg2)
Source all_different(Arg1)
Source #\/(Arg1, Arg2)
Source sum(Arg1, Arg2, Arg3)
Source Arg1 #<=> Arg2
Source #>=(Arg1, Arg2)
Source serialized(Arg1, Arg2)
Source lex_chain(Arg1)
Source #\(Arg1, Arg2)
Source Arg1 #=> Arg2
Source #=<(Arg1, Arg2)
Source #>(Arg1, Arg2)
Source label(Arg1)
Source indomain(Arg1)
Source check(Arg1)
Source #\(Arg1)
Source Arg1 #<= Arg2
Source #=(Arg1, Arg2)
Source #<(Arg1, Arg2)
Source tuples_in(Arg1, Arg2)
Source labeling(Arg1, Arg2)
Source #/\(Arg1, Arg2)
Source #\=(Arg1, Arg2)