Lfsc-checker Installation On A Debian, Ubuntu, Arch, Kali And Fedora
Maintainer: Debian Science Maintainers
Email: [email protected] .
Website: http://cvc4.cs.stanford.edu/web/
Section: math
Install lfsc-checker
-
Debian
apt-get install cvc4
Click to copy -
Ubuntu
apt-get install cvc4
Click to copy -
Arch Linux
pacman -S cvc4
Click to copy -
Kali Linux
apt-get install cvc4
Click to copy -
Fedora
dnf install cvc4
Click to copy
cvc4
automated theorem prover for SMT problemsCVC4 is an efficient automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. CVC4 is intended to be an open and extensible SMT engine, and it can be used as a stand-alone tool or as a library. It is the fourth in the Cooperating Validity Checker family of tools (also including CVC, CVC Lite and CVC3). CVC4 has been designed to increase the performance and reduce the memory overhead of its predecessors. This package contains binaries needed to use CVC4 as a stand-alone tool.
To install the latest version of lfsc-checker in your favorite operating system just copy the lfsc-checker installation command from above and paste it into terminal. It will download and install the latest version of lfsc-checker 2024 package in your OS.