intuit

An automated theorem prover for intuitionistic propostional logic

Installation

Install Haskell Platform (use GHC 7.8 or 7.10). Then issue:

cabal install

TPTP syntax is supported. Example:

intuit Benchmarks/EC_1.p

The benchmarks can be converted to IntHistGC's and fCube's format by using the Makefile.

Name		Name	Last commit message	Last commit date
Latest commit History 47 Commits
Benchmarks		Benchmarks
paper		paper
.gitignore		.gitignore
Clausify.hs		Clausify.hs
Incremental.hs		Incremental.hs
Intuit.hs		Intuit.hs
LICENSE		LICENSE
Makefile		Makefile
ParseProblem.hs		ParseProblem.hs
Parsek.hs		Parsek.hs
README.md		README.md
Setup.hs		Setup.hs
intuit.cabal		intuit.cabal
run_bench.sh		run_bench.sh