5 lines
130 B
Text
5 lines
130 B
Text
|
bin/bddsolve
|
||
|
|
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
|
||
|
|
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
|
||
|
|
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%
|