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

	Name	Last modified	Size	Description
	Parent Directory		-
	and-not.cvc.smt2	2024-09-15 02:50	194
	and-xor.cvc.smt2	2024-09-15 02:50	220
	bool-cmp.cvc.smt2	2024-09-15 02:50	234
	cmp-plus.cvc.smt2	2024-09-15 02:50	245
	eq-fun.cvc.smt2	2024-09-15 02:50	229
	iff-assoc.cvc.smt2	2024-09-15 02:50	199
	iff-implies.cvc.smt2	2024-09-15 02:50	217
	implies-assoc.cvc.smt2	2024-09-15 02:50	218
	implies-iff.cvc.smt2	2024-09-15 02:50	217
	implies-or.cvc.smt2	2024-09-15 02:50	218
	not-and.cvc.smt2	2024-09-15 02:50	218
	not-eq.cvc.smt2	2024-09-15 02:50	190
	or-implies.cvc.smt2	2024-09-15 02:50	218
	or-xor.cvc.smt2	2024-09-15 02:50	277
	plus-mult.cvc.smt2	2024-09-15 02:50	323
	xor-and.cvc.smt2	2024-09-15 02:50	220
	xor-assoc.cvc.smt2	2024-09-15 02:50	220
	xor-or.cvc.smt2	2024-09-15 02:50	219