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_12 python_targets_python3_13 python_targets_python3_14 debug

    View      Download      Browse     License: MIT   
    Overlay: gentoo-zh