freebsd-ports/science/bddsolve/pkg-plist

mirror of https://git.FreeBSD.org/ports.git synced 2025-01-10 07:04:03 +00:00
bin/bddsolve
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
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			`bin/bddsolve`
			`%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b`
			`%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b`
			`%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%`