%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

%PGPSIG%
iQIcBAABCAAGBQJXDLvsAAoJEHcZPxUr2+amFz0QAIxygf1pQs7cy4O/OgZ0Me+51WCFbCuA+QWSrGqrNhFbrHsrtuGrHdnyVIshrbmTaZDcFASrkAIJZO6tJuHqiteLI+xueSdiHqDK/ZDXzsR3sxy0cWW7ujn0Hd2XqwIp6bxHIALe6g3qcsOt+AbF40eIeu43WUU3qViiIcuCMvnzoUYVpl/gkzg7NJOllmVJKVZi7Fdla/hkFb5494i0Sn5S+t87zS5+8gK1G5Q+OwRRk6iTgkNcSXfHDyjv6BxTa43/gxXgJ0QWvNdFtBnHbhFWORWpSQcPOioX8f3nzFWxWMUW2yMeQs5vrFgzFVnm+k6+lVc2Xk4XfNbxakBEg8koY6by27zOUaAWzQHiFfdwC/iPtgLCHCPHL09qeaNJyzcgQQ4KcASnO3S5qX6x9aWeikRxo86Z4cImGbzIZxb/5mDkSs4jAW0PTLIkH32fKdDMFgKCo15e0+9MHdGH7uULRJnenTVIvH9MmDJqpCOCyYtUlpUSwetCTmtkurqoMRV2zU4NqpjXbpCdKEtrdIXX+EEz2Yufx9VcGuDPAyxTZ1ESj/EaVPt4DrPHcvVU/k76XtTjCmxT+v9AIOJp3joxbL4qT5Qbxi9VfdxLiJBhUGmRfB5Vyd3hYaz91XL1r3VmZcGSTjtPjCiPMcbHY92BHdqaOy7Sfb6Ogl9nQr47

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

%LICENSE%
LGPL

%ARCH%
aarch64

%BUILDDATE%
1460452327

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

