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

2 commits

Author SHA1 Message Date
Li-Wen Hsu
91f7d86366 - Update to 1.2.1 2007-09-07 22:54:09 +00:00
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