%FILENAME%
cryptominisat-2.9.11-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.11-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%
298196

%ISIZE%
1260544

%MD5SUM%
96ff1a79f47ebdb123e24e624ff8dc8e

%SHA256SUM%
c4d65d6c05db824c0f00ef30117c233514e54cdc78f53b5a18ad716393f57889

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

%LICENSE%
LGPL

%ARCH%
aarch64

%BUILDDATE%
1460452327

%PACKAGER%
Arch Linux ARM Build System <builder+c3@archlinuxarm.org>

