Package picosat: Information
Source package: picosat
Version: 960-alt2.1
Build time: Apr 4, 2016, 07:27 AM in the task #159698
Category: Sciences/Mathematics
Report package bugHome 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.
List of rpms provided by this srpm:
libpicosat (x86_64, i586)
libpicosat-debuginfo (x86_64, i586)
libpicosat-devel (x86_64, i586)
picosat (x86_64, i586)
picosat-debuginfo (x86_64, i586)
python-module-picosat (x86_64, i586)
python-module-picosat-debuginfo (x86_64, i586)
python3-module-picosat (x86_64, i586)
python3-module-picosat-debuginfo (x86_64, i586)
libpicosat (x86_64, i586)
libpicosat-debuginfo (x86_64, i586)
libpicosat-devel (x86_64, i586)
picosat (x86_64, i586)
picosat-debuginfo (x86_64, i586)
python-module-picosat (x86_64, i586)
python-module-picosat-debuginfo (x86_64, i586)
python3-module-picosat (x86_64, i586)
python3-module-picosat-debuginfo (x86_64, i586)
Maintainer: Eugeny A. Rostovtsev
Last changed
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)
March 17, 2015 Eugeny A. Rostovtsev 960-alt2
- Applied patch from https://github.com/pysmt/pysmt/tree/master/patches for Python bindings
March 17, 2015 Eugeny A. Rostovtsev 960-alt1
- Initial build for Sisyphus