4 ms·
All I can do is recommend people to try out the z3 solver, especially through the Python API. There's no better resource than https://yurichev.com/writings/SAT_
by nightcracker 8y ago
All I can do is recommend people to try out the z3 solver, especially through the Python API. There's no better resource than https://yurichev.com/writings/SAT_SMT_by_example.pdf https://yurichev.com/writings/SAT_SMT_by_example.pdf.
- CamperBob2 8y agoThanks -- that is a very cool document. I hope he's able to finish it and polish it.
- popotamonga 8y agoThanks this is very very helpful.
- sevensor 8y agoUsing Z3 with Python is like having superpowers. I second the recommendation.