Index of /anvil/pool/universe/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_2.2.0-2.debian.tar.gz	2010-10-15 14:06	9.6K
	minisat2_2.2.0-2.dsc	2010-10-15 14:06	1.1K
	minisat2_2.2.0-2_amd64.deb	2010-10-17 09:05	105K
	minisat2_2.2.0-2_i386.deb	2010-10-17 11:05	103K
	minisat2_2.2.0.orig.tar.gz	2010-10-15 14:06	43K
	minisat2_2.2.1-2.debian.tar.gz	2011-08-20 12:29	8.2K
	minisat2_2.2.1-2.dsc	2011-08-20 12:29	1.1K
	minisat2_2.2.1-2_amd64.deb	2011-08-20 12:30	1.9K
	minisat2_2.2.1-2_i386.deb	2011-08-20 12:29	1.9K
	minisat2_2.2.1-3.debian.tar.gz	2012-03-09 13:00	8.4K
	minisat2_2.2.1-3.dsc	2012-03-09 13:00	1.1K
	minisat2_2.2.1-3_amd64.deb	2012-03-19 09:17	1.8K
	minisat2_2.2.1-3_i386.deb	2012-03-12 08:42	1.8K
	minisat2_2.2.1-4_amd64.deb	2013-10-05 12:16	1.9K
	minisat2_2.2.1-4_i386.deb	2013-09-26 07:46	1.9K
	minisat2_2.2.1-5.debian.tar.xz	2015-01-04 23:24	9.1K
	minisat2_2.2.1-5.dsc	2015-01-04 23:24	1.8K
	minisat2_2.2.1-5_amd64.deb	2014-12-30 16:16	1.9K
	minisat2_2.2.1-5_i386.deb	2014-12-19 19:04	1.9K
	minisat2_2.2.1.orig.tar.gz	2011-08-20 12:29	43K
	minisat_2.2.1-2_amd64.deb	2011-08-20 12:29	123K
	minisat_2.2.1-2_i386.deb	2011-08-20 12:29	123K
	minisat_2.2.1-3_amd64.deb	2012-03-19 09:17	124K
	minisat_2.2.1-3_i386.deb	2012-03-12 08:42	124K
	minisat_2.2.1-4_amd64.deb	2013-10-05 12:16	128K
	minisat_2.2.1-4_i386.deb	2013-09-26 07:46	124K
	minisat_2.2.1-5_amd64.deb	2014-12-30 16:17	81K
	minisat_2.2.1-5_i386.deb	2014-12-19 19:04	95K