Installlion's Logo

Installlion.com

How To Install ladr4-apps On Kali Linux 2017.1

To install ladr4-apps just follow these instructions.

Install ladr4-apps

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.Kali Linux 2017.1math0.0.200911a-2.1+b2
sudo apt-get install ladr4-apps

Which will install ladr4-apps and any other packages on which it depends.

Package Data

Packageladr4-apps
Version0.0.200911a-2.1+b2
MaintainerDebian QA Group <[email protected]>
Home pagehttp://www.cs.unm.edu/~mccune/mace4/
Descriptionthe 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.
Distrokalilinux
Releasekalilinux
Repomain
Sectionmath

Dependencies