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   

Runtime Dependencies

pycosat-0.6.6


python_targets_python3_10?
      ( dev-lang/python:3.10 )

python_targets_python3_11?
      ( dev-lang/python:3.11 )

pycosat-0.6.3


python_targets_pypy3?
      ( >=dev-python/pypy3-7.3.9_p1:0= )

python_targets_python3_8?
      ( >=dev-lang/python-3.8.13:3.8 )

python_targets_python3_9?
      ( >=dev-lang/python-3.9.12:3.9 )

python_targets_python3_10?
      ( >=dev-lang/python-3.10.4:3.10 )

python_targets_python3_11?
      ( >=dev-lang/python-3.11.0_beta4:3.11 )