No Description

Uploaded	Tue Feb 18 20:18:54 2014
md5 checksum	d29d5cf395694206a611654549058f67
arch	x86_64
build	1
build_number	1
home_page	http://minisat.se/MiniSat.html
license	MIT
name	minisat
platform	osx
subdir	osx-64
version	2.2.0