Package picosat: Information

    Source package: picosat
    Version: 960-alt2.1
    Build time:  Apr 4, 2016, 07:27 AM in the task #159698
    Report package bug
    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)



      1. python3-devel
      2. python-devel
      3. swig
      4. rpm-build-python3
      5. rpm-macros-make

    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