cvs commit: ports/math Makefile ports/math/cvc3 Makefile distinfo pkg-descr pkg-plist

[Cheng-Lung Sung]

clsung      2007-03-25 04:04:31 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/cvc3            Makefile distinfo pkg-descr pkg-plist 
  Log:
  Add cvc3 1.0, an automatic theorem prover for the SMT problem.
  
  PR:             ports/110770
  Submitted by:   Li-Wen Hsu <lwhsu at lwhsu.org>
  
  Revision  Changes    Path
  1.448     +1 -0      ports/math/Makefile
  1.1       +31 -0     ports/math/cvc3/Makefile (new)
  1.1       +3 -0      ports/math/cvc3/distinfo (new)
  1.1       +24 -0     ports/math/cvc3/pkg-descr (new)
  1.1       +85 -0     ports/math/cvc3/pkg-plist (new)