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

summary refs log tree commit diff

path: root/math/z3/pkg-descr

blob: 38ac65f60728e38b2fe7652d989b7ff9fe064933 (plain) (blame)

1 2	`Z3 is a high-performance theorem prover developed at Microsoft Research.`