mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-04 06:15:24 +00:00
d717f25f58
problems. It uses the BDD package Buddy as a backend. WWW: http://www.win.tue.nl/~wieger/bddsolve/ Submitted by: ed@
5 lines
130 B
Plaintext
5 lines
130 B
Plaintext
bin/bddsolve
|
|
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
|
|
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
|
|
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
|