Solver practice
A place for me to play with solvers
Resources for SAT solvers
-
Martin Hořeňovský - https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/
Offers a nice intro to SAT solvers. I also borrowed his DIMACS example.
Resrouces for SMT solvers
- Wikipedia - z3 prover