logic « science « applications « pkgs - nixpkgs - Downstream nixpkgs tree for Spectrum

Mode	Name	Size
d---------	abc	39	log plain
d---------	alt-ergo	39	log plain
d---------	boolector	39	log plain
d---------	coq	200	log plain
d---------	cvc3	39	log plain
d---------	ekrhyper	83	log plain
d---------	eprover	83	log plain
d---------	hol	39	log plain
d---------	hol_light	39	log plain
d---------	iprover	39	log plain
d---------	isabelle	81	log plain
d---------	lci	39	log plain
d---------	leo2	83	log plain
d---------	logisim	39	log plain
d---------	ltl2ba	39	log plain
d---------	matita	212	log plain
d---------	minisat	39	log plain
d---------	opensmt	39	log plain
d---------	otter	39	log plain
d---------	picosat	39	log plain
d---------	prooftree	39	log plain
d---------	prover9	39	log plain
d---------	satallax	39	log plain
d---------	spass	39	log plain
d---------	ssreflect	79	log plain
d---------	stp	120	log plain
d---------	tptp	39	log plain
d---------	twelf	39	log plain
d---------	verifast	39	log plain
d---------	why3	39	log plain
d---------	yices	39	log plain
d---------	z3	39	log plain