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

Mode	Name	Size
d---------	abc	39	log plain
d---------	abella	39	log plain
d---------	acgtk	156	log plain
d---------	alt-ergo	39	log plain
d---------	aspino	39	log plain
d---------	boolector	39	log plain
d---------	coq	280	log plain
d---------	cryptoverif	39	log plain
d---------	cvc3	39	log plain
d---------	cvc4	39	log plain
d---------	ekrhyper	83	log plain
d---------	eprover	83	log plain
d---------	gappa	39	log plain
d---------	glucose	76	log plain
d---------	hol	39	log plain
d---------	hol_light	81	log plain
d---------	iprover	39	log plain
d---------	isabelle	39	log plain
d---------	jonprl	39	log plain
d---------	lci	39	log plain
d---------	lean	39	log plain
d---------	leo2	83	log plain
d---------	logisim	39	log plain
d---------	ltl2ba	39	log plain
d---------	matita	212	log plain
d---------	mcrl2	39	log plain
d---------	metis-prover	39	log plain
d---------	minisat	77	log plain
d---------	opensmt	39	log plain
d---------	ott	39	log plain
d---------	otter	39	log plain
d---------	picosat	39	log plain
d---------	prooftree	39	log plain
d---------	prover9	39	log plain
d---------	proverif	39	log plain
d---------	sad	72	log plain
d---------	satallax	39	log plain
d---------	saw-tools	39	log plain
d---------	spass	39	log plain
d---------	statverif	39	log plain
d---------	stp	120	log plain
d---------	tptp	39	log plain
d---------	twelf	39	log plain
d---------	verifast	39	log plain
d---------	verit	39	log plain
d---------	why3	39	log plain
d---------	yices	39	log plain
d---------	z3	39	log plain
d---------	z3_opt	39	log plain