Package libpicosat-devel: Information
Binary package: libpicosat-devel
Version: 965-alt3
Architecture: e2kv4
Build time: Jan 11, 2021, 09:15 PM
Source package: picosat
Category: Development/C
Report package bugHome page: http://fmv.jku.at/picosat/
License: MIT
Summary: Development files 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 development files 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.