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

	Name	Last modified	Size	Description
	Parent Directory		-
	README.md	2021-10-27 05:04	1.6K
	build-and-test-all-configurations.sh	2021-10-27 05:04	2.3K
	check-options-occur.sh	2021-10-27 05:04	233
	colors.sh	2021-10-27 05:04	487
	extend-solution.sh	2021-10-27 05:04	1.3K
	generate-cubes.sh	2021-10-27 05:04	684
	generate-embedded-options-default-list.sh	2021-10-27 05:04	288
	generate-options-range-list.sh	2021-10-27 05:04	435
	get-git-id.sh	2021-10-27 05:04	124
	make-build-header.sh	2021-10-27 05:04	2.5K
	make-src-release.sh	2021-10-27 05:04	1.2K
	normalize-white-space.sh	2021-10-27 05:04	138
	prepare-sc2021-submission.sh	2021-10-27 05:04	1.2K
	run-cadical-and-check-proof.sh	2021-10-27 05:04	1.3K
	run-simplifier-and-extend-solution.sh	2021-10-27 05:04	1.8K
	update-example-in-cadical-header-file.sh	2021-10-27 05:04	543
	update-version.sh	2021-10-27 05:04	411