Package python3-module-picosat: Information
Binary package: python3-module-picosat
Version: 965-alt3
Architecture: ppc64le
Build time: Feb 24, 2021, 06:21 AM in the task #265234
Source package: picosat
Category: Development/Python3
Report package bugHome page: http://fmv.jku.at/picosat/
License: MIT
Summary: Python bindings of picosat
Description:
The SAT problem is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). General information on SAT can be found at www.satlive.org or www.satlib.org. This package contains Python bindings of picosat.
Maintainer: Eugeny A. Rostovtsev
List of contributors:
Michael Shigorin
Stanislav Levin
Grigory Ustinov
Aleksei Nikiforov
Ivan Zakharyaschev
Eugeny A. Rostovtsev
Michael Shigorin
Stanislav Levin
Grigory Ustinov
Aleksei Nikiforov
Ivan Zakharyaschev
Eugeny A. Rostovtsev
Last changed
July 12, 2020 Michael Shigorin 965-alt3
- fixed build on non-x86 64-bit arches
Feb. 5, 2020 Stanislav Levin 965-alt2
- Stopped build for Python2.
April 11, 2019 Grigory Ustinov 965-alt1
- Build new version.