4 projects
pycsp3-solvers-extra
Extra solver backends for pycsp3 (OR-Tools, IBM CPO, Z3, Pumpkin)
pybelief
Finite-frame Dempster-Shafer belief functions with sparse bitmask storage
pycsp3-scheduling
Scheduling extension for PyCSP3 with interval variables, sequence variables, and scheduling constraints
pycsp3-explain
Explanation tools for PyCSP3 constraint models
