Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress2/sygus

	Name	Last modified	Size	Description
	Parent Directory		-
	MPwL_d1s3.sy	2024-09-15 02:50	8.9K
	array_sum_dd.sy	2024-09-15 02:50	450
	cegisunif-depth1-bv.sy	2024-09-15 02:50	1.0K
	ex23.sy	2024-09-15 02:50	675
	examples-deq.sy	2024-09-15 02:50	208
	icfp_easy_mt_ite.sy	2024-09-15 02:50	1.1K
	issue4022-conjecture-gen.smt2	2024-09-15 02:50	240
	lustre-real.sy	2024-09-15 02:50	28K
	max2-univ.sy	2024-09-15 02:50	415
	min_IC_1.sy	2024-09-15 02:50	523
	mpg_guard1-dd.sy	2024-09-15 02:50	711
	multi-udiv.sy	2024-09-15 02:50	930
	no-bad-filter.sy	2024-09-15 02:50	1.2K
	no-syntax-test-no-si.sy	2024-09-15 02:50	228
	pbe_bvurem.sy	2024-09-15 02:50	808
	process-10-vars-2fun.sy	2024-09-15 02:50	862
	process-arg-invariance.sy	2024-09-15 02:50	565
	proj-issue119.sy	2024-09-15 02:50	1.8K
	qgu-bools.sy	2024-09-15 02:50	511
	real-grammar-neg.sy	2024-09-15 02:50	285
	sets-fun-test.sy	2024-09-15 02:50	256
	strings-no-syntax-len.sy	2024-09-15 02:50	282
	sumn_recur_synth.sy	2024-09-15 02:50	917
	three.sy	2024-09-15 02:50	639