%FILENAME%
cryptominisat-2.9.10-1-armv6h.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%
293232

%ISIZE%
1203200

%MD5SUM%
aadd90fcd627b5146c39160409ba4904

%SHA256SUM%
9f3ac08b350a8b828d65eec9e5e5f415491314451dd1ddd2bc169eabac8f55fb

%PGPSIG%
iQIcBAABCAAGBQJV4jETAAoJEHcZPxUr2+amROcP/2H5C9/qMpReL7bhndadOSDWCwNWIjIh7CS7eWL5ziIVmHGiQ31+HUNeInU29msnFp32foY1DVNBOh7seRtYmjS7vwS9rzisW74RBF65iUcoRIsshpnqZmyWMKW6mKj2MUQBXD51PxFpBKXlmg/ON4WyVusTvdR4gUKqVIfqeiUZBpqLOb0ncVuQVJbopgXB3bXJkwoazoh+UJ2jOTfEYZr4Ce5xLnaUwSg3NuCelmvm/x7KDkjKz2t0y84xjwlt3Iv6H9mVetmJR99sQFMzYzMUK2SfNEuLEPsQztthiHaq3CkKbWjv/cjkc3hF9s7WPmZ0gWPdeEBd3cUSjWuN/U55c+SX6yqdL4xD3Wt784pM7iLjXUQlPWCN5NXU9z0vUnczcjg8H3UKxeXicuT09kA4EPrHxNUYv0KmCLgKr5v/WBP09rGCxkw3Orm/XX12HasBQ+sh9t72P235WD5NZrhyHTK9x0mXHvdxv8JqnbGy31wtLFoNRaJV0vVWUm+QgQk5vxRbWe/MGqP4SzyQvqw+SbuHZDczPWDjH5gIcpSr82OYVaWc6b3293s362ORTLBfeJqi54pycmFV5Tm3qBJqWwDAJmDUf3RK98d7freRCpRhXFIOgagoIlVmRdKQfjZyzdKBuwts4uoB3VoLTkF1AKI6ubVfwnq6fS1ZMiBW

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

%LICENSE%
LGPL

%ARCH%
armv6h

%BUILDDATE%
1440887056

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

