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	1976	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--	bug612.smt2	181	log plain
-rw-r--r--	bug613.smt2	198	log plain
-rw-r--r--	bug615.smt2	724	log plain
-rw-r--r--	bug682.smt2	401	log plain
-rw-r--r--	bug686dd.smt2	292	log plain
-rw-r--r--	chapman150408.smt2	354	log plain
-rw-r--r--	cmu-2db2-extf-reg.smt2	256	log plain
-rw-r--r--	cmu-disagree-0707-dd.smt2	758	log plain
-rw-r--r--	crash-1019.smt2	4442	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--	idof-handg.smt2	231	log plain
-rw-r--r--	idof-nconst-index.smt2	276	log plain
-rw-r--r--	idof-neg-index.smt2	204	log plain
-rw-r--r--	idof-rewrites.smt2	670	log plain
-rw-r--r--	idof-triv.smt2	192	log plain
-rw-r--r--	ilc-l-nt.smt2	353	log plain
-rw-r--r--	ilc-like.smt2	293	log plain
-rw-r--r--	indexof-sym-simp.smt2	303	log plain
-rw-r--r--	kaluza-fl.smt2	6407	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--	norn-31.smt2	832	log plain
-rw-r--r--	norn-360.smt2	1270	log plain
-rw-r--r--	norn-ab.smt2	1023	log plain
-rw-r--r--	norn-nel-bug-052116.smt2	856	log plain
-rw-r--r--	norn-simp-rew-sat.smt2	980	log plain
-rw-r--r--	norn-simp-rew.smt2	1953	log plain
-rw-r--r--	pierre150331.smt2	529	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--	strings-native-simple.cvc	132	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
-rw-r--r--	unsound-0908.smt2	206	log plain