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/ nate' title='Atom feed' href='http://tfcis.org/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/atom/emulators/ski?h=gnome-3.24' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/emulators/ski
Commit message (Expand)AuthorAgeFilesLines
* = Drop MD5 supportmiwi2011-07-031-1/+0
* - Remove unneeded dependency from gtk12/gtk20 [1]miwi2008-04-201-2/+2
* - Welcome X.org 7.2 \o/.flz2007-05-202-1/+2
* Retire NO_FILTER_SHLIBS now that it no longer serves a purposekris2007-01-301-1/+0
* Fix plist and unbreak.linimon2006-12-12