6 ms·
That’s a very clean API.
by brap 11mo ago
That’s a very clean API.
- cess11 11mo agoIt's very close to the SMTLIB API. Page 19 in https://smt.st/SAT_SMT_by_example.pdf 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.