blob: 56d055a690533b08400a76c0cb51a699201e7747 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = python-simplesat
pkgdesc = SAT solver for use in Enstaller, based on the MiniSat implementation
pkgver = 0.9.2
pkgrel = 1
url = https://github.com/enthought/sat-solver
arch = any
license = BSD-3-Clause
makedepends = git
makedepends = python-setuptools
depends = python
depends = python-attrs
depends = python-okonomiyaki
depends = python-six
source = git+https://github.com/enthought/sat-solver.git#tag=fa938f3de5da124d4f662211c4bf21699eb4c5a2
sha512sums = SKIP
pkgname = python-simplesat
|