pkg-descr « py-z3-solver « math - freebsd/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: b0adf153db16509abf954ec166516b258d0175a0 (plain) (blame)

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