cvs commit: ports/math Makefile ports/math/stp Makefile distinfo pkg-descr

[Li-Wen Hsu]

lwhsu       2008-06-19 01:52:26 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/stp             Makefile distinfo pkg-descr 
  Log:
  Add stp , a Decision Procedure for Bitvectors and Arrays.
  
  Revision  Changes    Path
  1.480     +1 -0      ports/math/Makefile
  1.1       +41 -0     ports/math/stp/Makefile (new)
  1.1       +3 -0      ports/math/stp/distinfo (new)
  1.1       +14 -0     ports/math/stp/pkg-descr (new)