2020-07-07 10:28:33 +00:00
|
|
|
package:
|
|
|
|
|
name: python-sat
|
2022-07-06 21:34:22 +00:00
|
|
|
version: 0.1.7.dev19
|
2022-09-06 06:20:04 +00:00
|
|
|
top-level:
|
|
|
|
|
- pysat
|
2020-07-07 10:28:33 +00:00
|
|
|
source:
|
2022-07-06 21:34:22 +00:00
|
|
|
sha256: 25ba9d70814fb241ef598e8a7690ccab3c8a877238ec04e0ab991f794d8c8e84
|
|
|
|
|
url: https://files.pythonhosted.org/packages/17/1a/c2b012bf4fdb7e8b74b9f4b7f51d269f91d411d793086d11828f999ccc0a/python-sat-0.1.7.dev19.tar.gz
|
2020-07-07 10:28:33 +00:00
|
|
|
|
|
|
|
|
patches:
|
|
|
|
|
- patches/force_malloc.patch
|
|
|
|
|
- patches/proper_build.patch
|
|
|
|
|
|
2021-01-02 08:59:28 +00:00
|
|
|
requirements:
|
|
|
|
|
run:
|
|
|
|
|
- six
|
2022-09-06 06:20:04 +00:00
|
|
|
|
|
|
|
|
about:
|
|
|
|
|
home: https://github.com/pysathq/pysat
|
|
|
|
|
PyPI: https://pypi.org/project/python-sat
|
|
|
|
|
summary: A Python library for prototyping with SAT oracles
|
|
|
|
|
license: MIT
|
