×

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