No Description

Uploaded	Mon Feb 17 23:48:11 2014
md5 checksum	b4fdfc11ec6a8096235f288edc97c186
arch	x86_64
build	0
home_page	http://minisat.se/MiniSat.html
license	MIT
name	minisat
platform	linux
subdir	linux-64
version	2.2.0