gpo.zugaina.org

Search Portage & Overlays:

dev-python/pycosat

Python bindings to picosat (a SAT solver)

Screenshots

  • pycosat-0.6.6
    amd64 ~arm64 ~riscv ~x86
    test python_targets_python3_10 python_targets_python3_11

    View      Download      Browse     License: MIT   
    Overlay: gentoo-zh
  • pycosat-0.6.3
    amd64 ~arm64 ~riscv ~x86
    test python_targets_pypy3 python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 python_targets_python3_11

    View      Download      Browse     License: MIT   

Bugs

Bug # Severity Platform Status Description
These bugs were grabbed from http://bugs.gentoo.org and have only passed a preliminary search using the package title, to do a more through search please visit: http://bugs.gentoo.org.