summaryrefslogtreecommitdiffstats
path: root/science/bddsolve/pkg-plist
blob: 6a03b3157da88979b1140be6c1cf7c1c2e9f8adf (plain)
1
2
3
bin/bddsolve
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
OpenPOWER on IntegriCloud