mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-24 09:25:01 +00:00
Code Issues Releases Activity
196,414 Commits 46 Branches 101 Tags 3.4 GiB
e1f64f595a
Commit Graph

1 Commits

Author SHA1 Message Date
Cheng-Lung Sung
8fdb6ad4aa Add cvc3 1.0, an automatic theorem prover for the SMT problem. 
PR:		ports/110770
Submitted by:	Li-Wen Hsu <lwhsu at lwhsu.org>
 2007-03-25 04:04:30 +00:00