[brap]

That’s a very clean API.

[cess11]

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.