Shea Levy a0a135d5ef Merge branch 'z3' of git://github.com/thoughtpolice/nixpkgs ... z3: version 4.3.1		2014-03-28 23:54:43 -04:00
..
coq	coq: add myself to maintainer list.	2014-03-07 20:52:33 -06:00
cvc3
ekrhyper	Update EKRHyper	2014-03-08 21:12:59 +04:00
eprover
hol
hol_light
iprover
isabelle
lci
leo2
logisim
matita
minisat
opensmt
otter
picosat
prover9
satallax
spass
ssreflect
stp
tptp
z3	z3: version 4.3.1	2014-03-21 02:50:54 -05:00