Binary: pbes2bool

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbes2bool

Random binary cloud:

bglmemrun fedora-cert gsi hdfunpac kate ldns-zsplit fi_info nodeunit rdmpro_sniffer onig-config crossbar xml2rfc rpm xscreensaver dailystrips freefoam-wallShearStress fspy gcc-ar-4.8 gcj-dbtool germinate git-ignore trna2sap ossim-senint pd circuits.bench3 qrqscore alt_getopt.sh science-presentation trace_dump csg_property