logic « science « applications « pkgs - nixpkgs

Mode	Name	Size
d---------	abc	39	log stats plain
d---------	abella	39	log stats plain
d---------	acgtk	39	log stats plain
d---------	aiger	39	log stats plain
d---------	alt-ergo	39	log stats plain
d---------	aspino	39	log stats plain
d---------	avy	131	log stats plain
d---------	beluga	39	log stats plain
d---------	boolector	84	log stats plain
d---------	btor2tools	39	log stats plain
d---------	cadical	39	log stats plain
d---------	cedille	39	log stats plain
d---------	celf	39	log stats plain
d---------	clprover	40	log stats plain
d---------	coq	39	log stats plain
d---------	coq2html	39	log stats plain
d---------	cryptominisat	39	log stats plain
d---------	cryptoverif	39	log stats plain
d---------	cubicle	39	log stats plain
d---------	cvc3	93	log stats plain
d---------	cvc4	85	log stats plain
d---------	drat-trim	39	log stats plain
d---------	ekrhyper	83	log stats plain
d---------	elan	39	log stats plain
d---------	eprover	39	log stats plain
d---------	fast-downward	39	log stats plain
d---------	gappa	39	log stats plain
d---------	glucose	76	log stats plain
d---------	hol	39	log stats plain
d---------	hol_light	39	log stats plain
d---------	iprover	39	log stats plain
d---------	isabelle	39	log stats plain
d---------	jonprl	39	log stats plain
d---------	lci	39	log stats plain
d---------	lean	39	log stats plain
d---------	lean2	39	log stats plain
d---------	leo2	83	log stats plain
d---------	leo3	38	log stats plain
d---------	lingeling	39	log stats plain
d---------	logisim	39	log stats plain
d---------	ltl2ba	39	log stats plain
d---------	mcrl2	39	log stats plain
d---------	mcy	39	log stats plain
d---------	metis-prover	39	log stats plain
d---------	minisat	39	log stats plain
d---------	monosat	39	log stats plain
d---------	open-wbo	39	log stats plain
d---------	opensmt	39	log stats plain
d---------	ott	39	log stats plain
d---------	otter	39	log stats plain
d---------	petrinizer	113	log stats plain
d---------	picosat	39	log stats plain
d---------	poly	39	log stats plain
d---------	potassco	121	log stats plain
d---------	prooftree	39	log stats plain
d---------	prover9	39	log stats plain
d---------	proverif	39	log stats plain
d---------	redprl	39	log stats plain
d---------	sad	118	log stats plain
d---------	satallax	93	log stats plain
d---------	saw-tools	39	log stats plain
d---------	spass	39	log stats plain
d---------	statverif	39	log stats plain
d---------	stp	39	log stats plain
d---------	symbiyosys	39	log stats plain
d---------	tamarin-prover	85	log stats plain
d---------	tlaplus	115	log stats plain
d---------	tptp	39	log stats plain
d---------	twelf	39	log stats plain
d---------	vampire	39	log stats plain
d---------	verifast	39	log stats plain
d---------	verit	39	log stats plain
d---------	why3	83	log stats plain
d---------	workcraft	39	log stats plain
d---------	yices	39	log stats plain
d---------	z3	75	log stats plain