pkg-descr « py-z3-solver « math - ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/py-z3-solver/pkg-descr

blob: 9bddb9d30becbc576181768c734651193eccf3f1 (plain) (blame)

Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3