summaryrefslogtreecommitdiff
path: root/science/bddsolve (unfollow)
Commit message (Expand)AuthorFilesLines
2014-03-10Convert s* to USES=zipBaptiste Daroussin1-1/+1
2014-02-07Chase boost and icu bumpBaptiste Daroussin1-0/+1
2013-12-12Convert LIB_DEPENDS for ports depending on boostBaptiste Daroussin1-2/+2
2013-09-20Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin1-0/+1
2013-09-14Remove USE_GCC.Ed Schouten1-1/+0
2013-09-14Bump bddsolve to version 1.0.3.Ed Schouten2-9/+6
2011-12-28Mark as broken on powerpc.Mark Linimon1-0/+4
2011-07-03 - remove MD5Olli Hauer1-1/+0
2010-05-12Bddsolve is a BDD-based tool for solving satisfiability and reachabilityBeat Gaetzi4-0/+49