1 2 3 4
bin/bddsolve %%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b %%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b %%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%