bin/bddsolve
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
