Package Details: python-python-sat 0.1.7.dev2-1

Git Clone URL: https://aur.archlinux.org/python-python-sat.git (read-only, click to copy)
Package Base: python-python-sat
Description: A Python library for prototyping with SAT oracles
Upstream URL: https://github.com/pysathq/pysat
Licenses: GPL3
Conflicts: python-python-sat
Provides: python-python-sat
Submitter: bmwinger
Maintainer: bmwinger
Last Packager: bmwinger
Votes: 0
Popularity: 0.000000
First Submitted: 2020-04-02 17:47
Last Updated: 2021-04-21 13:44