mirror of
https://github.com/netbirdio/FreeBSD-ports.git
synced 2026-05-22 18:42:42 -07:00
4 lines
91 B
Plaintext
4 lines
91 B
Plaintext
bin/bddsolve
|
|
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
|
|
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
|