Download eprover-1.6.jar
eprover/eprover-1.6.jar.zip( 8,153 k)
The download jar file contains the following class files or Java source files.
Linux/checkproof
Linux/classify_problem
Linux/direct_examples
Linux/e_axfilter
Linux/e_client
Linux/e_ltb_runner
Linux/e_server
Linux/edpll
Linux/eground
Linux/ekb_create
Linux/ekb_delete
Linux/ekb_ginsert
Linux/ekb_insert
Linux/epclanalyse
Linux/epclextract
Linux/epcllemma
Linux/eproof
Linux/eproof_ram
Linux/eprover
Linux/termprops
Linux/tsm_classify
Mac OSX/checkproof
Mac OSX/classify_problem
Mac OSX/direct_examples
Mac OSX/e_axfilter
Mac OSX/e_client
Mac OSX/e_ltb_runner
Mac OSX/e_server
Mac OSX/edpll
Mac OSX/eground
Mac OSX/ekb_create
Mac OSX/ekb_delete
Mac OSX/ekb_ginsert
Mac OSX/ekb_insert
Mac OSX/epclanalyse
Mac OSX/epclextract
Mac OSX/epcllemma
Mac OSX/eproof
Mac OSX/eproof_ram
Mac OSX/eprover
Mac OSX/termprops
Mac OSX/tsm_classify
Windows/checkproof.exe
Windows/classify_problem.exe
Windows/direct_examples.exe
Windows/e_axfilter.exe
Windows/e_client.exe
Windows/e_ltb_runner.exe
Windows/e_server.exe
Windows/edpll.exe
Windows/eground.exe
Windows/ekb_create.exe
Windows/ekb_delete.exe
Windows/ekb_ginsert.exe
Windows/ekb_insert.exe
Windows/epclanalyse.exe
Windows/epclextract.exe
Windows/epcllemma.exe
Windows/eproof
Windows/eproof_ram
Windows/eprover.exe
Windows/termprops.exe
Windows/tsm_classify.exe
Related examples in the same category