jasper 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system ... called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..		2011-03-07 22:26:24 +00:00
..
ladr	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
p9m4	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
Makefile	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
Makefile.inc	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00