lfsc-checker

automated theorem prover for SMT problems

Debian Debian
RUN apt-get update && \ apt-get install -y cvc4
Ubuntu
RUN apt-get update && \ apt-get install -y cvc4
Arch Arch Linux
RUN pacman -S --noconfirm cvc4
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y cvc4
Fedora
RUN dnf install -y cvc4
click the source code to copy install lfsc-checker on any operating system with command-not-found.com