gpo.zugaina.org

Search Portage & Overlays:

dev-python/minikanren

Relational programming in Python

Screenshots

  • minikanren-1.0.4
    ~amd64 ~arm ~arm64 ~loong ~riscv ~x86
    test python_targets_python3_11 python_targets_python3_12 python_targets_python3_13

    View      Download      Browse     License: BSD   
    Overlay: gentoo
  • minikanren-1.0.3-r1
    amd64 ~arm arm64 ~loong ~riscv x86
    test python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 python_targets_python3_13

    View      Download      Browse     License: BSD   
    Overlay: gentoo

Runtime Dependencies

minikanren-1.0.4




>=dev-python/cons-0.4.0[python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]



>=dev-python/etuples-0.3.1[python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]



>=dev-python/logical-unification-0.4.1[python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]



dev-python/multipledispatch[python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]



dev-python/toolz[python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]



dev-python/typing-extensions[python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]

python_targets_python3_11?
      ( dev-lang/python:3.11 )

python_targets_python3_12?
      ( dev-lang/python:3.12 )

python_targets_python3_13?
      ( dev-lang/python:3.13 )

minikanren-1.0.3-r1





dev-python/cons[python_targets_python3_10
      (-)
?
,python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]




dev-python/etuples[python_targets_python3_10
      (-)
?
,python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]




dev-python/logical-unification[python_targets_python3_10
      (-)
?
,python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]




dev-python/multipledispatch[python_targets_python3_10
      (-)
?
,python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]




dev-python/toolz[python_targets_python3_10
      (-)
?
,python_targets_python3_11
      (-)
?
,python_targets_python3_12
      (-)
?
,python_targets_python3_13
      (-)
?
]

python_targets_python3_10?
      ( dev-lang/python:3.10 )

python_targets_python3_11?
      ( dev-lang/python:3.11 )

python_targets_python3_12?
      ( dev-lang/python:3.12 )

python_targets_python3_13?
      ( dev-lang/python:3.13 )