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>
interface representing the domain of a CP variable as a range.
A simple representation for small domains, not lazy.
Copyright © 2022. All rights reserved.