%FILENAME%
cryptominisat-2.9.9-1-x86_64.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.9-1

%DESC%
SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat

%CSIZE%
339116

%ISIZE%
1354752

%MD5SUM%
c2fc97e83c3b244b61ec96074d48fbd8

%SHA256SUM%
eda933fa3ef61122d2b86b125428d2249e850f1479da371b522abcf8cbc38d48

%PGPSIG%
iQEcBAABCAAGBQJUpeRmAAoJEHpOdgldilLkoo8H/2IFXi+vBBGXXVoABzSAYQhsGZVmItBdo5gXIHtpyqkdcblORtGLlAFm2R/tlBAhvYLFiZMiPNDgwastMGAzBvI6FGMhaREMisXALsJoFAhn2Ixllq4TrgGiKX5MQxC15YK0b14Z5S2rnN5JTvvQLSEAlo2xE0F6dkwwK1DmltIBQj1/h9JC3RogN2pP6D2RPf6csMbdSq3H+t3W3RO5bgNj1u0sZgT65Py+xrC36EjewgV3wzZmLa7KalaJQafRJ/K7wLOaZmHSk91saAhtFAWbnHEyuU7b9UmP57rrfg5wI863WhGNxppYuMXnGwhMDNTdpXsl1Pzp1GB/oUWQUoo=

%URL%
http://www.msoos.org/cryptominisat2/

%LICENSE%
LGPL

%ARCH%
x86_64

%BUILDDATE%
1420157984

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

