No Description

Uploaded	Tue Feb 18 20:44:06 2014
md5 checksum	1515576ea6f9d4728a059378683af677
arch	x86_64
build	0
depends	gmp, minisat
home_page	http://minisat.se/MiniSat+.html
license	BSD
name	minisatp
platform	linux
subdir	linux-64
version	1.0