kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
198748 commits 42 branches 80 tags 2.7 GiB
Commit graph

1 commit

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