CVSROOT: /cvs Module name: ports Changes by: [email protected] 2017/02/12 14:48:19
Log message:
import the z3 theorem prover.
ok benoit@ input & ok daniel@
Status:
Vendor Tag: rpointel
Release Tags: rpointel_20170212
N ports/math/z3/Makefile
N ports/math/z3/distinfo
N ports/math/z3/pkg/PLIST
N ports/math/z3/pkg/DESCR
No conflicts created by this import
