cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/math/z3/pkg/DESCR
rpointel c0acae0063 import the z3 theorem prover. 
ok benoit@ input & ok daniel@
2017-02-12 21:48:19 +00:00

2 lines
23 B
Plaintext
Raw Blame History

The Z3 Theorem Prover.
Reference in New Issue View Git Blame Copy Permalink