logic « science « applications « pkgs - mirror/nixpkgs

Mode	Name	Size
d---------	abc	39	log plain
d---------	abella	39	log plain
d---------	acgtk	39	log plain
d---------	aiger	39	log plain
d---------	alt-ergo	39	log plain
d---------	anders	39	log plain
d---------	aspino	39	log plain
d---------	avy	131	log plain
d---------	beluga	39	log plain
d---------	bitwuzla	39	log plain
d---------	boolector	84	log plain
d---------	btor2tools	39	log plain
d---------	cadical	39	log plain
d---------	cbmc	110	log plain
d---------	cedille	118	log plain
d---------	celf	39	log plain
d---------	clprover	40	log plain
d---------	coq	39	log plain
d---------	cryptominisat	39	log plain
d---------	cryptoverif	39	log plain
d---------	cubicle	39	log plain
d---------	cvc3	93	log plain
d---------	cvc4	85	log plain
d---------	cvc5	39	log plain
d---------	drat-trim	39	log plain
d---------	easycrypt	78	log plain
d---------	ekrhyper	39	log plain
d---------	elan	107	log plain
d---------	eprover	39	log plain
d---------	fast-downward	39	log plain
d---------	formula	76	log plain
d---------	gappa	39	log plain
d---------	glucose	76	log plain
d---------	hol	39	log plain
d---------	hol_light	39	log plain
d---------	iprover	39	log plain
d---------	isabelle	76	log plain
d---------	key	39	log plain
d---------	kissat	94	log plain
d---------	klee	82	log plain
d---------	lci	39	log plain
d---------	lean	39	log plain
d---------	lean2	39	log plain
d---------	leo2	39	log plain
d---------	leo3	38	log plain
d---------	lingeling	39	log plain
d---------	logisim-evolution	39	log plain
d---------	logisim	39	log plain
d---------	ltl2ba	39	log plain
d---------	mcrl2	39	log plain
d---------	mcy	39	log plain
d---------	metis-prover	39	log plain
d---------	minisat	39	log plain
d---------	monosat	39	log plain
d---------	naproche	39	log plain
d---------	nuXmv	39	log plain
d---------	nusmv	39	log plain
d---------	open-wbo	39	log plain
d---------	opensmt	39	log plain
d---------	ott	39	log plain
d---------	petrinizer	39	log plain
d---------	picosat	39	log plain
d---------	poly	39	log plain
d---------	potassco	78	log plain
d---------	prooftree	39	log plain
d---------	prover9	39	log plain
d---------	proverif	39	log plain
d---------	redprl	39	log plain
d---------	sad	118	log plain
d---------	satallax	93	log plain
d---------	saw-tools	39	log plain
d---------	spass	39	log plain
d---------	statverif	39	log plain
d---------	stp	39	log plain
d---------	surelog	39	log plain
d---------	symbiyosys	39	log plain
d---------	symfpu	39	log plain
d---------	tamarin-prover	39	log plain
d---------	tlaplus	115	log plain
d---------	tptp	39	log plain
d---------	twelf	39	log plain
d---------	uhdm	39	log plain
d---------	vampire	39	log plain
d---------	verifast	39	log plain
d---------	verit	39	log plain
d---------	why3	83	log plain
d---------	workcraft	39	log plain
d---------	yices	90	log plain
d---------	z3	112	log plain
d---------	zchaff	83	log plain