Eric Seidel eff828a275 z3: copy all headers into nix store		2015-03-26 13:19:41 -07:00
..
abc
abella	new package: abella 2.0.2	2015-03-24 00:54:03 -04:00
acgtk
alt-ergo
boolector
coq
cvc3
cvc4
ekrhyper
eprover
hol
hol_light	Update HOL Light to r218	2015-02-17 10:23:51 +01:00
iprover
isabelle
lci
leo2
logisim
ltl2ba
matita	matita_130312: mark as broken	2015-01-07 02:15:26 -05:00
minisat
opensmt
ott
otter
picosat
prooftree
prover9
satallax
spass
stp
tptp
twelf
verifast	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	2015-01-14 20:27:55 -08:00
why3	Why3: build also the Coq tactic.	2015-01-29 08:43:15 +01:00
yices
z3	z3: copy all headers into nix store	2015-03-26 13:19:41 -07:00