Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/bitwuzla/deps/cadical/test/icnf

	Name	Last modified	Size	Description
	Parent Directory		-
	empty.icnf	2021-10-27 05:04	9
	false.icnf	2021-10-27 05:04	11
	makefile	2021-10-27 05:04	92
	run.sh	2021-10-27 05:04	2.0K
	two1.icnf	2021-10-27 05:04	65
	two2.icnf	2021-10-27 05:04	64
	unit1.icnf	2021-10-27 05:04	20
	unit2.icnf	2021-10-27 05:04	19