Group :: Sciences/Mathematics
RPM: picosat
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 965-alt3
Build date: 12 july 2020, 12:02 ( 193.6 weeks ago )
Size: 58.38 Kb
Home page: http://fmv.jku.at/picosat/
License: MIT
Summary: PicoSAT solver
Description:
List of contributors
List of rpms provided by this srpm:
ACL:
Build date: 12 july 2020, 12:02 ( 193.6 weeks ago )
Size: 58.38 Kb
Home page: http://fmv.jku.at/picosat/
License: MIT
Summary: PicoSAT solver
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.
Current maintainer: Eugeny A. Rostovtsev (REAL) 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.
List of contributors
- libpicosat
- libpicosat-debuginfo
- libpicosat-devel
- picosat
- picosat-debuginfo
- python-module-picosat-debuginfo
- python-module-picosat
- python3-module-picosat
- python3-module-picosat-debuginfo