aboutsummaryrefslogtreecommitdiff
path: root/science/bddsolve/pkg-plist
blob: 252e3376b523a8cb42d634d0e6e5813d473edb94 (plain) (blame)
1
2
3
4
bin/bddsolve
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%