No Description

Uploaded	Mon Feb 17 20:49:02 2014
md5 checksum	243439dd026f6651a57a4583648642ee
arch	x86_64
build	0
depends	gmp
home_page	http://minisat.se/MiniSat+.html
license	BSD
name	minisat-plus
platform	linux
subdir	linux-64
version	1.0