ConstraintSolver.jl
ConstraintSolver.jl copied to clipboard
Bug: Macros of boolean constraints only work when CS is defined
Currently having boolean constraints call a macro which calls CS instead of ConstraintSolver