Package repository for potassco

Packages
clingo dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_80.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_80.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_80.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_80.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_80.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_80.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_80.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_80.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_84.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_84.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_84.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_84.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_84.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_84.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_84.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_84.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_85.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_85.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_85.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_85.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_85.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_85.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_85.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_85.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_86.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_86.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_86.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_86.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_86.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_86.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_86.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_86.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_87.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_87.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_87.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_87.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_87.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_87.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_87.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_87.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_88.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_88.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_88.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_88.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_88.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_88.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_88.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_88.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_89.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_89.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_89.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_89.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_89.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_89.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_89.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_89.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_90.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_90.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_90.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_90.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_90.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_90.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_90.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_90.conda dev-20 osx-arm64/clingo-6.0.0-py312h208bc74_91.conda dev-20 osx-arm64/clingo-6.0.0-py313h208bc74_91.conda dev-20 osx-64/clingo-6.0.0-py312h0f23cd5_91.conda dev-20 osx-64/clingo-6.0.0-py313h0f23cd5_91.conda dev-20 linux-64/clingo-6.0.0-py312h3fd9d12_91.conda dev-20 linux-64/clingo-6.0.0-py313h3fd9d12_91.conda dev-20 win-64/clingo-6.0.0-py312h82bb817_91.conda dev-20 win-64/clingo-6.0.0-py313h82bb817_91.conda dev-20
clingo-lpx dev-20 osx-arm64/clingo-lpx-1.4.0-py312h208bc74_10.conda dev-20 osx-arm64/clingo-lpx-1.4.0-py313h208bc74_10.conda dev-20 osx-64/clingo-lpx-1.4.0-py312h0f23cd5_10.conda dev-20 osx-64/clingo-lpx-1.4.0-py313h0f23cd5_10.conda dev-20 linux-64/clingo-lpx-1.4.0-py312h3fd9d12_10.conda dev-20 linux-64/clingo-lpx-1.4.0-py313h3fd9d12_10.conda dev-20 win-64/clingo-lpx-1.4.0-py312h82bb817_10.conda dev-20 win-64/clingo-lpx-1.4.0-py313h82bb817_10.conda dev-20 osx-arm64/clingo-lpx-1.4.0-py312h208bc74_11.conda dev-20 osx-arm64/clingo-lpx-1.4.0-py313h208bc74_11.conda dev-20 osx-64/clingo-lpx-1.4.0-py312h0f23cd5_11.conda dev-20 osx-64/clingo-lpx-1.4.0-py313h0f23cd5_11.conda dev-20 linux-64/clingo-lpx-1.4.0-py312h3fd9d12_11.conda dev-20 linux-64/clingo-lpx-1.4.0-py313h3fd9d12_11.conda dev-20 win-64/clingo-lpx-1.4.0-py312h82bb817_11.conda dev-20 win-64/clingo-lpx-1.4.0-py313h82bb817_11.conda dev-20 osx-arm64/clingo-lpx-1.4.0-py312h208bc74_12.conda dev-20 osx-arm64/clingo-lpx-1.4.0-py313h208bc74_12.conda dev-20 osx-64/clingo-lpx-1.4.0-py312h0f23cd5_12.conda dev-20 osx-64/clingo-lpx-1.4.0-py313h0f23cd5_12.conda dev-20 linux-64/clingo-lpx-1.4.0-py312h3fd9d12_12.conda dev-20 linux-64/clingo-lpx-1.4.0-py313h3fd9d12_12.conda dev-20 win-64/clingo-lpx-1.4.0-py312h82bb817_12.conda dev-20 win-64/clingo-lpx-1.4.0-py313h82bb817_12.conda dev-20
clingcon dev-20 osx-arm64/clingcon-5.3.0-py312h208bc74_8.conda dev-20 osx-arm64/clingcon-5.3.0-py313h208bc74_8.conda dev-20 osx-64/clingcon-5.3.0-py312h0f23cd5_8.conda dev-20 osx-64/clingcon-5.3.0-py313h0f23cd5_8.conda dev-20 linux-64/clingcon-5.3.0-py312h3fd9d12_8.conda dev-20 linux-64/clingcon-5.3.0-py313h3fd9d12_8.conda dev-20 win-64/clingcon-5.3.0-py312h82bb817_8.conda dev-20 win-64/clingcon-5.3.0-py313h82bb817_8.conda dev-20
clingo-dl dev-20 osx-arm64/clingo-dl-1.5.0-py312h208bc74_11.conda dev-20 osx-arm64/clingo-dl-1.5.0-py313h208bc74_11.conda dev-20 osx-64/clingo-dl-1.5.0-py312h0f23cd5_11.conda dev-20 osx-64/clingo-dl-1.5.0-py313h0f23cd5_11.conda dev-20 linux-64/clingo-dl-1.5.0-py312h3fd9d12_11.conda dev-20 linux-64/clingo-dl-1.5.0-py313h3fd9d12_11.conda dev-20 win-64/clingo-dl-1.5.0-py312h82bb817_11.conda dev-20 win-64/clingo-dl-1.5.0-py313h82bb817_11.conda dev-20

clingo dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_80.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_80.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_80.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_80.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_80.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_80.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_80.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_80.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_84.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_84.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_84.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_84.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_84.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_84.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_84.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_84.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_85.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_85.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_85.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_85.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_85.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_85.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_85.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_85.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_86.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_86.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_86.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_86.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_86.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_86.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_86.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_86.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_87.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_87.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_87.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_87.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_87.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_87.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_87.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_87.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_88.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_88.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_88.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_88.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_88.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_88.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_88.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_88.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_89.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_89.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_89.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_89.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_89.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_89.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_89.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_89.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_90.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_90.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_90.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_90.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_90.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_90.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_90.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_90.conda dev-20
- osx-arm64/clingo-6.0.0-py312h208bc74_91.conda dev-20
- osx-arm64/clingo-6.0.0-py313h208bc74_91.conda dev-20
- osx-64/clingo-6.0.0-py312h0f23cd5_91.conda dev-20
- osx-64/clingo-6.0.0-py313h0f23cd5_91.conda dev-20
- linux-64/clingo-6.0.0-py312h3fd9d12_91.conda dev-20
- linux-64/clingo-6.0.0-py313h3fd9d12_91.conda dev-20
- win-64/clingo-6.0.0-py312h82bb817_91.conda dev-20
- win-64/clingo-6.0.0-py313h82bb817_91.conda dev-20

clingo-lpx dev-20
- osx-arm64/clingo-lpx-1.4.0-py312h208bc74_10.conda dev-20
- osx-arm64/clingo-lpx-1.4.0-py313h208bc74_10.conda dev-20
- osx-64/clingo-lpx-1.4.0-py312h0f23cd5_10.conda dev-20
- osx-64/clingo-lpx-1.4.0-py313h0f23cd5_10.conda dev-20
- linux-64/clingo-lpx-1.4.0-py312h3fd9d12_10.conda dev-20
- linux-64/clingo-lpx-1.4.0-py313h3fd9d12_10.conda dev-20
- win-64/clingo-lpx-1.4.0-py312h82bb817_10.conda dev-20
- win-64/clingo-lpx-1.4.0-py313h82bb817_10.conda dev-20
- osx-arm64/clingo-lpx-1.4.0-py312h208bc74_11.conda dev-20
- osx-arm64/clingo-lpx-1.4.0-py313h208bc74_11.conda dev-20
- osx-64/clingo-lpx-1.4.0-py312h0f23cd5_11.conda dev-20
- osx-64/clingo-lpx-1.4.0-py313h0f23cd5_11.conda dev-20
- linux-64/clingo-lpx-1.4.0-py312h3fd9d12_11.conda dev-20
- linux-64/clingo-lpx-1.4.0-py313h3fd9d12_11.conda dev-20
- win-64/clingo-lpx-1.4.0-py312h82bb817_11.conda dev-20
- win-64/clingo-lpx-1.4.0-py313h82bb817_11.conda dev-20
- osx-arm64/clingo-lpx-1.4.0-py312h208bc74_12.conda dev-20
- osx-arm64/clingo-lpx-1.4.0-py313h208bc74_12.conda dev-20
- osx-64/clingo-lpx-1.4.0-py312h0f23cd5_12.conda dev-20
- osx-64/clingo-lpx-1.4.0-py313h0f23cd5_12.conda dev-20
- linux-64/clingo-lpx-1.4.0-py312h3fd9d12_12.conda dev-20
- linux-64/clingo-lpx-1.4.0-py313h3fd9d12_12.conda dev-20
- win-64/clingo-lpx-1.4.0-py312h82bb817_12.conda dev-20
- win-64/clingo-lpx-1.4.0-py313h82bb817_12.conda dev-20

clingcon dev-20
- osx-arm64/clingcon-5.3.0-py312h208bc74_8.conda dev-20
- osx-arm64/clingcon-5.3.0-py313h208bc74_8.conda dev-20
- osx-64/clingcon-5.3.0-py312h0f23cd5_8.conda dev-20
- osx-64/clingcon-5.3.0-py313h0f23cd5_8.conda dev-20
- linux-64/clingcon-5.3.0-py312h3fd9d12_8.conda dev-20
- linux-64/clingcon-5.3.0-py313h3fd9d12_8.conda dev-20
- win-64/clingcon-5.3.0-py312h82bb817_8.conda dev-20
- win-64/clingcon-5.3.0-py313h82bb817_8.conda dev-20

clingo-dl dev-20
- osx-arm64/clingo-dl-1.5.0-py312h208bc74_11.conda dev-20
- osx-arm64/clingo-dl-1.5.0-py313h208bc74_11.conda dev-20
- osx-64/clingo-dl-1.5.0-py312h0f23cd5_11.conda dev-20
- osx-64/clingo-dl-1.5.0-py313h0f23cd5_11.conda dev-20
- linux-64/clingo-dl-1.5.0-py312h3fd9d12_11.conda dev-20
- linux-64/clingo-dl-1.5.0-py313h3fd9d12_11.conda dev-20
- win-64/clingo-dl-1.5.0-py312h82bb817_11.conda dev-20
- win-64/clingo-dl-1.5.0-py313h82bb817_11.conda dev-20

potassco / files

© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy