freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bddsolve is a BDD-based tool for solving satisfiability and reachability	Beat Gaetzi	2010-05-12	4	-0/+49
	problems. It uses the BDD package Buddy as a backend. WWW: http://www.win.tue.nl/~wieger/bddsolve/ Submitted by: ed@ Notes: svn path=/head/; revision=254196