2 commits

Author	SHA1	Message	Date
Mark Linimon	6cf6b4399b	Mark as broken on powerpc. ... Hat: portmgr	2011-12-28 06:55:26 +00:00
Beat Gaetzi	d717f25f58	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@	2010-05-12 13:25:37 +00:00