strings « regress0 « regress « test - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	Makefile	144	log plain
-rw-r--r--	Makefile.am	1537	log plain
-rw-r--r--	artemis-0512-nonterm.smt2	359	log plain
-rw-r--r--	at001.smt2	230	log plain
-rw-r--r--	bug001.smt2	218	log plain
-rw-r--r--	bug002.smt2	547	log plain
-rw-r--r--	escchar.smt2	219	log plain
-rw-r--r--	escchar_25.smt2	219	log plain
-rw-r--r--	fmf001.smt2	397	log plain
-rw-r--r--	fmf002.smt2	345	log plain
-rw-r--r--	leadingzero001.smt2	199	log plain
-rw-r--r--	loop001.smt2	258	log plain
-rw-r--r--	loop002.smt2	178	log plain
-rw-r--r--	loop003.smt2	264	log plain
-rw-r--r--	loop004.smt2	256	log plain
-rw-r--r--	loop005.smt2	377	log plain
-rw-r--r--	loop006.smt2	299	log plain
-rw-r--r--	loop007.smt2	257	log plain
-rw-r--r--	loop008.smt2	184	log plain
-rw-r--r--	loop009.smt2	184	log plain
-rw-r--r--	model001.smt2	214	log plain
-rw-r--r--	regexp001.smt2	223	log plain
-rw-r--r--	regexp002.smt2	670	log plain
-rw-r--r--	regexp003.smt2	319	log plain
-rw-r--r--	reloop.smt2	479	log plain
-rw-r--r--	str001.smt2	340	log plain
-rw-r--r--	str002.smt2	410	log plain
-rw-r--r--	str003.smt2	298	log plain
-rw-r--r--	str004.smt2	325	log plain
-rw-r--r--	str005.smt2	339	log plain
-rw-r--r--	str006.smt2	279	log plain
-rw-r--r--	str007.smt2	231	log plain
-rw-r--r--	substr001.smt2	410	log plain
-rw-r--r--	type001.smt2	454	log plain
-rw-r--r--	type002.smt2	318	log plain
-rw-r--r--	type003.smt2	219	log plain