Package picosat: Information
Binary package: picosat
Version: 965-alt1
Architecture: i586
Build time: Apr 18, 2019, 06:55 PM in the task #225625
Source package: picosat
Category: Sciences/Mathematics
Report package bugDownload: picosat-965-alt1.i586.rpm
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.
Maintainer: Eugeny A. Rostovtsev
Last changed
April 11, 2019 Grigory Ustinov 965-alt1
- Build new version.
March 22, 2018 Aleksei Nikiforov 960-alt2.1.1
- (NMU) Rebuilt with python-3.6.4.
March 17, 2016 Ivan Zakharyaschev 960-alt2.1
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10 (for ABI dependence and new python3(*) reqs)