cvs commit: ports/science Makefile ports/science/bddsolve Makefile distinfo pkg-descr pkg-plist

[Beat Gaetzi]

beat        2010-05-12 13:25:37 UTC

  FreeBSD ports repository

  Modified files:
    science              Makefile 
  Added files:
    science/bddsolve     Makefile distinfo pkg-descr pkg-plist 
  Log:
  Bddsolve is a BDD-based tool for solving satisfiability and reachability
  problems.  It uses the BDD package Buddy as a backend.
  
  WWW: http://www.win.tue.nl/~wieger/bddsolve/
  
  Submitted by:   ed@
  
  Revision  Changes    Path
  1.185     +1 -0      ports/science/Makefile
  1.1       +38 -0     ports/science/bddsolve/Makefile (new)
  1.1       +3 -0      ports/science/bddsolve/distinfo (new)
  1.1       +4 -0      ports/science/bddsolve/pkg-descr (new)
  1.1       +4 -0      ports/science/bddsolve/pkg-plist (new)