Package picosat

Source package: picosat
Version: 965-alt3
Build time:  Feb 5, 2022, 06:01 AM
Category: Sciences/Mathematics
Report package bug
License:  MIT
Summary:  PicoSAT solver
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
List of rpms provided by this srpm: 
libpicosat (e2kv5, e2kv4, e2k)
libpicosat-debuginfo (e2kv5, e2kv4, e2k)
libpicosat-devel (e2kv5, e2kv4, e2k)
picosat (e2kv5, e2kv4, e2k)
picosat-debuginfo (e2kv5, e2kv4, e2k)
python3-module-picosat (e2kv5, e2kv4, e2k)
python3-module-picosat-debuginfo (e2kv5, e2kv4, e2k)
Last changes:
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.

Back to Top