Module proto_vulcan::relation::clpfd

CLP(FD)

Proto-vulcan implements finite-domain constraints. For disequality, a diseqfd(x, y)-relation must be used instead of x != y. Other supported CLP(FD) constraints are: distinctfd, ltefd ltfd, plusfd, minusfd and timesfd. Domains are assigned to variables with infd or infdrange. See n-queens-example for code using finite-domain constraints.

Modules

diseqfd

Constrain disequality in finite domains

distinctfd

domfd

infd

ltefd

ltfd

minusfd

plusfd

timesfd