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

	Name	Last modified	Size	Description
	Parent Directory		-
	General_plus10.sy	2024-09-15 02:50	280
	aig-si.sy	2024-09-15 02:50	895
	array-grammar-select.sy	2024-09-15 02:50	258
	assume-simple.sy	2024-09-15 02:50	293
	c100.sy	2024-09-15 02:50	396
	ccp16.lus.sy	2024-09-15 02:50	1.1K
	cegqi-si-string-triv-2fun.sy	2024-09-15 02:50	358
	cegqi-si-string-triv.sy	2024-09-15 02:50	256
	check-generic-red.sy	2024-09-15 02:50	622
	const-var-test.sy	2024-09-15 02:50	706
	dt-no-syntax.sy	2024-09-15 02:50	264
	dt-sel-parse1.sy	2024-09-15 02:50	1.2K
	hd-05-d1-prog-nogrammar.sy	2024-09-15 02:50	237
	ho-occ-synth-fun.sy	2024-09-15 02:50	259
	incremental-modify-ex.sy	2024-09-15 02:50	556
	inv-different-var-order.sy	2024-09-15 02:50	503
	issue3356-syg-inf-usort.smt2	2024-09-15 02:50	253
	issue3624.sy	2024-09-15 02:50	244
	issue3645-grammar-sets.smt2	2024-09-15 02:50	169
	issue4383-cache-fv-id.sy	2024-09-15 02:50	525
	issue4790-dtd.sy	2024-09-15 02:50	433
	issue5512-vvv.sy	2024-09-15 02:50	608
	issue6298-par.sy	2024-09-15 02:50	211
	let-ringer.sy	2024-09-15 02:50	609
	let-simp.sy	2024-09-15 02:50	404
	no-logic.sy	2024-09-15 02:50	535
	no-syntax-test-bool.sy	2024-09-15 02:50	223
	no-syntax-test.sy	2024-09-15 02:50	217
	pLTL-sygus-syntax-err.sy	2024-09-15 02:50	2.0K
	parity-AIG-d0.sy	2024-09-15 02:50	850
	parse-bv-let.sy	2024-09-15 02:50	798
	pbe-pred-contra.sy	2024-09-15 02:50	188
	print-debug.sy	2024-09-15 02:50	343
	print-define-fun.sy	2024-09-15 02:50	230
	print-grammar.sy	2024-09-15 02:50	526
	proj-issue464-rr-option.smt2	2024-09-15 02:50	422
	real-si-all.sy	2024-09-15 02:50	215
	setFeature.sy	2024-09-15 02:50	188
	strings-unconstrained.sy	2024-09-15 02:50	256
	sygus-no-wf.sy	2024-09-15 02:50	279
	sygus-uf.sy	2024-09-15 02:50	554
	uminus_one.sy	2024-09-15 02:50	211
	univ_3-long-repeat-conflict.sy	2024-09-15 02:50	2.0K