Comment by cess11
3 months ago
It's very close to the SMTLIB API.
Page 19 in https://smt.st/SAT_SMT_by_example.pdf shows an example in both Python and SMTLIB. After looking at a guide like TFA this book is a good next step.
3 months ago
It's very close to the SMTLIB API.
Page 19 in https://smt.st/SAT_SMT_by_example.pdf shows an example in both Python and SMTLIB. After looking at a guide like TFA this book is a good next step.
No comments yet
Contribute on Hacker News ↗