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

	Name	Last modified	Size
	Parent Directory
	minisat+_1.0-4build1.debian.tar.xz	2020-03-22 13:10	4 KB
	minisat+_1.0-4build1.dsc	2020-03-22 13:10	2 KB
	minisat+_1.0-4build1_amd64.deb	2020-03-22 13:50	142 KB
	minisat+_1.0.orig.tar.gz	2011-11-12 04:20	79 KB