3 ms·
It'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 S
by cess11 11mo ago
It'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.