clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.
A component that translates CP variables ranges to boolean clauses to be added to the SAT solver
|LazyCpVarDomain<E extends IntVar>||Deprecated|
interface representing the domain of a CP variable as a range.
A simple representation for small domains, not lazy.
Copyright © 2018. All rights reserved.