3 commits

Author	SHA1	Message	Date
Li-Wen Hsu	85803ea146	- Update to 2.4.1	2012-02-04 14:37:52 +00:00
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