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

%NAME%
cryptominisat

%VERSION%
2.9.10-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%
337148

%ISIZE%
1291264

%MD5SUM%
19a37d5cf79de46db75c9eba0307a3c9

%SHA256SUM%
e7a967a240411681fa622fa071f1514aaa87cfa349d89c00a0949b2ffe7644c5

%PGPSIG%
iQEcBAABCAAGBQJV4iFxAAoJEHpOdgldilLkerwH/jCzDPHmkQ6OuBxwFwb1xI7fQAAMXYIDBlwqTz36js5O1V78eUOIZpU7OVkswoAKu6FpfqNKfK3CiS3xH5acvGcDX4pmLGw0PB9wwVGpeKh1apVcXYi5vLa5SgvhQAwBIlN5RnHX60kFa/InYnKs2iJSoV3MlfGy5Kv2IPrGW0oZdJeHu0axzyriNhfcHS8OIsdMLwkaoyACosnHf5xZUeVJh6DyBa5ThCEefbcmycqyh7jLVsu3bmg8XrLo6Plc4mhB6G9v0Br+ejz0LnhSvpSezldHj+pIm5F7JR+Xm7LjVetDUy1MzSU0BbNEpJw+94dtjEHIC4/S+r7MrMXud/8=

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

%LICENSE%
LGPL

%ARCH%
x86_64

%BUILDDATE%
1440882958

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

