Binary: clausefilter

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/clausefilter