← Back to context Comment by brap 3 months ago That’s a very clean API. 1 comment brap Reply 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.
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.
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.