How To Install Latfilter On Debian, Ubuntu, Kali And Raspbian?

latfilter

the LADR deduction library, miscellaneous applications

Maintainer: Debian QA Group

Email: [email protected] .

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

Section: math

Install latfilter

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.

Installing latfilter command is simple. just copy one of the above commands for your operating system and paste it into terminal. This command is available for Debian, Ubuntu, Kali and Raspbian operating systems. Once you run the command it will install the latest version of latfilter 2026 package in your OS.