Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai

	Name	Last modified	Size
	Parent Directory
	cadical_1.7.4-1.debian.tar.xz	2024-02-15 12:29	3 KB
	cadical_1.7.4-1.dsc	2024-02-15 12:29	1 KB
	cadical_1.7.4-1_amd64.deb	2024-02-15 12:30	464 KB
	cadical_1.7.4-1_arm64.deb	2024-02-15 12:31	441 KB
	cadical_1.7.4.orig.tar.gz	2024-02-15 12:29	647 KB
	cadical_2.1.3-2.debian.tar.xz	2025-12-15 17:22	4 KB
	cadical_2.1.3-2.dsc	2025-12-15 17:22	1 KB
	cadical_2.1.3-2_amd64.deb	2025-12-15 20:29	533 KB
	cadical_2.1.3-2_amd64v3.deb	2025-12-15 20:30	554 KB
	cadical_2.1.3-2_arm64.deb	2025-12-15 20:30	533 KB
	cadical_2.1.3-3.debian.tar.xz	2026-05-15 11:28	4 KB
	cadical_2.1.3-3.dsc	2026-05-15 11:28	2 KB
	cadical_2.1.3-3_amd64.deb	2026-05-15 12:15	531 KB
	cadical_2.1.3-3_amd64v3.deb	2026-05-15 12:15	549 KB
	cadical_2.1.3-3_arm64.deb	2026-05-15 12:34	526 KB
	cadical_2.1.3.orig.tar.gz	2025-12-02 08:17	731 KB
	libcadical-dev_1.7.4-1_amd64.deb	2024-02-15 12:30	384 KB
	libcadical-dev_1.7.4-1_arm64.deb	2024-02-15 12:31	382 KB
	libcadical-dev_2.1.3-2_amd64.deb	2025-12-15 20:29	468 KB
	libcadical-dev_2.1.3-2_amd64v3.deb	2025-12-15 20:30	482 KB
	libcadical-dev_2.1.3-2_arm64.deb	2025-12-15 20:30	475 KB
	libcadical-dev_2.1.3-3_amd64.deb	2026-05-15 12:15	477 KB
	libcadical-dev_2.1.3-3_amd64v3.deb	2026-05-15 12:15	493 KB
	libcadical-dev_2.1.3-3_arm64.deb	2026-05-15 12:34	484 KB