%FILENAME%
cryptominisat-2.9.11-1-armv6h.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%
294364

%ISIZE%
1191936

%MD5SUM%
edff37309b854f6fe95f62cc507680ec

%SHA256SUM%
6c2c79dfefa6fd1ddd79b919765c8f75bd9e3495b5b2153332adfe520caa4eba

%PGPSIG%
iQIcBAABCAAGBQJXDLvpAAoJEHcZPxUr2+am4ssP/1GQ5ZTU75KMZkmvpWIF7jkPQl6ntbw+0CMyIrmKYFWg5GGVdiz3f/4Yjm7cIr7FD43o2YFwa31yVQ7CeLxQo69QJkSko29kO59oWO5tEMCp31fcvNxnQYKqooHoRlu5mAJuvQL+qMMMfEah06h7AsLzeJDE3SSm4pFdE6N1VAs8l7lI1/NIfziM7QR9Le2VYJRQV7Ch/Q8DIL6Y7xAeq60Rg9kn1yNeyR9oZKd6D9QlY6IiKLB15oyhcoLAeh6G5qmTU4Vki55/iVcJpx5v7Fgj4iq7kHmp/XOONSNxcp87Xs0Qm+Ey3cE0xn6hWL5sQ+y5A3C51qOMYyCpaagjCIc6Ehr2xQQYIqJc0SUi9iuDkSVacFPaLgPZuRsxAJ1enpdWmUnVBpO/1YRalXKoRglOl+LYp0GyKUSpLSSlsm0arMUrFZlltBZSEYxY7N0REtm8Oh30+I+kVv4XOfdDlB1zzMKSGflH6HvQiCZBc8yVuOELW2kHpTu+iDURNRnFhGmc0KVvi0QyyQ361Y8Si3DOm5m6A7n41je2jmYDWnb+TSXZ1GP35Gv4XMH2CdA7thyFFwnPKVq2v6vcUIkcz6S/+FXWbvnkwKMhKmdhIlk6m3aN1JA/UP0ByiL7gBIRokaZE3HBfLtZuUsO/kD0DpaSc1ifgVvMUZ1EfZO8+WN3

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

%LICENSE%
LGPL

%ARCH%
armv6h

%BUILDDATE%
1460452325

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

