News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused.

Re:Modern SAT solvers: fast, neat and underused by pthariensflame on Sunday September 29, 2019 @12:59AM (#21105185)
If you’re looking for a higher-level interface to SAT, SMT, and general constraint solvers, I can recommend MiniZinc: https://www.minizinc.org/index.html
[ Parent | on HN ]

There are no comments on this comment yet.