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)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
