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