Binary: pbes2bool

Debian packages that has this binary:

Package: mcrl2

/usr/bin/pbes2bool

Random binary cloud:

cigloo calamaris db_recover GenFw ipmi-sensors-config gtester qlogin bsearch translate openvas-nvt-sync-cron mimeencode proxy-texture sdcc-sdas390 php2po dispwin splitti3 m68hc11-gprof calcoo dcmqridx dots flam3-genome git-hg indi_lx200basic unoapploader.bin mpp mgpnet nfacct ptex2tex r.sh randic