How To Install Mirror-flip On Debian, Ubuntu, Kali And Raspbian?

mirror-flip

the LADR deduction library, miscellaneous applications

Maintainer: Debian QA Group

Email: [email protected] .

Website: https://www.cs.unm.edu/~mccune/mace4/

Section: math

Install mirror-flip

Debian apt-get install ladr4-apps Click to copy
Ubuntu apt-get install ladr4-apps Click to copy
Kali Linux apt-get install ladr4-apps Click to copy
Raspbian apt-get install ladr4-apps Click to copy

ladr4-apps

the LADR deduction library, miscellaneous applications

LADR (Library for Automated Deduction Research) is a library for 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. This package provides miscellaneous LADR applications.

Install the latest version of mirror-flip in Debian, Ubuntu, Kali and Raspbian from terminal. To install the mirror-flip just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of mirror-flip from the respository and install it in your computer/server.