/pkgs/applications/science/logic/
../
coq
cvc3
ekrhyper
eprover
hol
hol_light
iprover
isabelle
lci
leo2
logisim
matita
minisat
opensmt
otter
picosat
prover9
satallax
spass
ssreflect
tptp