aboutsummaryrefslogtreecommitdiff
path: root/science/bddsolve
Commit message (Expand)AuthorAgeFilesLines
* - Support stagingEmanuel Haupt2014-03-201-7/+6
* Convert s* to USES=zipBaptiste Daroussin2014-03-101-1/+1
* Chase boost and icu bumpBaptiste Daroussin2014-02-071-0/+1
* Convert LIB_DEPENDS for ports depending on boostBaptiste Daroussin2013-12-121-2/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Remove USE_GCC.Ed Schouten2013-09-141-1/+0
* Bump bddsolve to version 1.0.3.Ed Schouten2013-09-142-9/+6
* Mark as broken on powerpc.Mark Linimon2011-12-281-0/+4
* - remove MD5Olli Hauer2011-07-031-1/+0
* Bddsolve is a BDD-based tool for solving satisfiability and reachabilityBeat Gaetzi2010-05-124-0/+49