No Description

Uploaded	Tue Feb 18 20:22:14 2014
md5 checksum	21bfdca7cf01fb69e4a58ef5ba92a82d
arch	x86_64
build	1
build_number	1
home_page	http://minisat.se/MiniSat.html
license	MIT
name	minisat
platform	linux
subdir	linux-64
version	2.2.0