This repository holds various tools for first-order logic:

• paradox, a finite model finder
• equinox, a theorem prover
• infinox, a tool for proving that no finite models exist

Build with cabal or stack.