%FILENAME%
cryptominisat-2.9.10-2-aarch64.pkg.tar.xz

%NAME%
cryptominisat

%VERSION%
2.9.10-2

%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%
298996

%ISIZE%
1260544

%MD5SUM%
926d5522ab197fe671adf3e6c0f528f4

%SHA256SUM%
178be55702fd171bf8c10f6a1043e023648f581f1d0bf36c172d69441e790e60

%PGPSIG%
iQIcBAABCAAGBQJWbM8rAAoJEHcZPxUr2+amEzkQAKSBmgNPp8kKNUOJYAcii75Pjmjc04XywHkSwagYe00f/2WlJQOjgEEpvVf8WU53+Fzd7TOl7oJE4euDDResXS7YhL58sC3kunU7TAqMLI2ejuPzZ3TGqoGOMeSaCgj8nv+cNdn6g2Np/Lag1Wcegq0/CDdCdxD02ICR8yE3XtQPGvUPSodGS3uJGnhGJ0umuDxzTF0d8cU6NgebrvrMb4/Y+co7/kq4XHSpWTG1nKxoNcAEUNPv+UZHwRx27aQtYTMVe+RugDcy5t2OFllE37nYlHLea8u0ASjiq7+QHg/h5vGn29c/pjIwQGPz6dW+C+8CVdCr9zFjW6K23lQVTsc6JMjOcTpLO/hrc2CT6hxi2ZOPDjm5Mg7p0iVnR0KHTL3BdY8SutObIg6u4A6rZqV5R4rOGFjKacHbnjkzAE1irP1NUMAfJtdpgdA5gNd/Jl9bXLS+KkOyVU5g8O/VtIVfK9r8LPKipFXC9E2vEgA6YfucAPDsWbTxbzGS89kmih4XTew4onsRrjEzKOYbHc/v7lyjqvF58IB9iB5vrzNunZlOnkAuuIatcbJwb5OjaPo8hBl7T/gik2ww/0W4aYgJkhaJDWELhUfd3tTrdQpMXpKhf6d8Ww1GdDGa7Y3baf+5BD4hsBBIL0EhCV1DYLIPNW6Ikt0ss5I0hZU225iX

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

%LICENSE%
LGPL

%ARCH%
aarch64

%BUILDDATE%
1449971493

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

