Rewrite constraint system with approach from MiniCP - Githubissues

Herb-AI / HerbConstraints.jl

Constraints for Herb.jl

https://herb-ai.github.io/

MIT License

0 stars 0 forks source link

Rewrite constraint system with approach from MiniCP #16

Open jaapdejong15 opened 1 year ago

jaapdejong15 commented 1 year ago

MiniCP: https://minicp.github.io/website/_static/mini-cp.pdf

MiniSAT: http://minisat.se/downloads/MiniSat.pdf

strategies behind Glucose SAT solver: https://univ-artois.hal.science/hal-03299473/document

how to build SAT solvers - https://link.springer.com/chapter/10.1007/978-3-540-24605-3_37