Binary: clausefilter

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/clausefilter

Random binary cloud:

bashdb cmake-fedora-fedpkg lpinfo docbook.rb asm qselect-ge heketi kstartupconfig4 mpicxx camlp4boot arb_shader_atomic_counters-default-partition glsl-fs-discard-02 detect_ppa pager describe dwww freefoam-debugSwitches rsurface2kdt hgpushsvn istgt virtlockd mh_linkrepojar mewl morseOSS nopaste-it dgtst test_worker.py py3rsa-sign compute_av FeatureFinderRaw