aboutsummaryrefslogtreecommitdiff
path: root/math/cvc3
Commit message (Expand)AuthorAgeFilesLines
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-1/+1
* Migration from bison 1.x to 2.xAde Lovett2007-10-171-1/+2
* - Update to 1.2.1Li-Wen Hsu2007-09-073-4/+7
* - Change to my FreeBSD.org emailLi-Wen Hsu2007-04-041-1/+1
* Add cvc3 1.0, an automatic theorem prover for the SMT problem.Cheng-Lung Sung2007-03-254-0/+143