%FILENAME%
cryptominisat-2.9.9-1-i686.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%
422900

%ISIZE%
1416192

%MD5SUM%
b35af593854ce275da54bb7cf9cef17a

%SHA256SUM%
03cfe7145bdd0295bed462a2931be077937ffc6926276ddff177b33139162aa3

%PGPSIG%
iQEcBAABCAAGBQJUpeRfAAoJEHpOdgldilLkC2MIAInXCXOdtzzLLl/hepvnwUHWuFR5RDkCG92gAldQJyqZiq5NBDVqr++Kak9u1RByiYJammCkA9rGA1NldxOOikjHnA2X+4MMjsafxNatp9m5US7rS55i54gLoL+KmUZrqRHu8Ub2OXNcpNCC1IjYePkRUdsbZpNF4PfTrtfbKck6lGijxvGVKxFHlkAA1VbD8cmCpDz+UCo2PkAGKc+J8ZaWM2WJcNFFGiojpmFqjgx00ZAdV1b4d66eCZDGGH2pq7+jRmxewoGIoUgi3KEmEovPRt1Bj6z0j0ehsIf+9hkwEZgJDXmSFh4z0ycN4pi4RPHl89137sfe8Onuiz7Q+6g=

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

%LICENSE%
LGPL

%ARCH%
i686

%BUILDDATE%
1420157907

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

