To install ladr4-apps just follow these instructions.
sudo apt-get install ladr4-apps
Which will install ladr4-apps and any other packages on which it depends.
|Maintainer||Debian QA Group <[email protected]>|
|Description||the LADR deduction library, miscellaneous applications use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator.|