3 ms·
Cool project! Wish we would see more applications of SAT solvers or logic programming in general.
by Lichtso 3y ago
Cool project! Wish we would see more applications of SAT solvers or logic programming in general.
- JonChesterfield 3y agoSAT solvers are magic. CSP solvers are the same magic with a much friendlier interface. Got a discrete NP hard problem? A CSP solver will probably get that done.