nixpkgs / clingo - ASP system to ground and solve logic programs

Homepage - https://potassco.org/

License - MIT

Maintainers - Michael Raskin

Releases

5.5.0 (expand/collapse)
From commit 02c142a2 to 00460bd6
5.4.1 (expand/collapse)
From commit 074ef76e to 074ef76e
5.5.0 (expand/collapse)
From commit 044053e2 to 07557e3b
5.4.1 (expand/collapse)
From commit 03582eb6 to 03582eb6
5.5.0 (expand/collapse)
From commit 037e5170 to 062e1e59
5.4.1 (expand/collapse)
From commit 05065605 to 05065605
5.5.0 (expand/collapse)
From commit 0080a586 to 01dc2d9c
5.4.1 (expand/collapse)
From commit 024b4917 to 024b4917
5.5.0 (expand/collapse)
From commit 0098f76b to 05c13a03
5.4.1 (expand/collapse)
From commit 05ca995e to 01ea3996
5.4.0 (expand/collapse)
From commit 06c0f165 to 06c0f165
5.4.1 (expand/collapse)
From commit 022d7207 to 075da392
5.4.0 (expand/collapse)
From commit 0769fe27 to 0769fe27
5.4.1 (expand/collapse)
From commit 06749ba3 to 0597dcb0
5.4.0 (expand/collapse)
From commit 05fe6112 to 05fe6112
5.4.1 (expand/collapse)
From commit 0263f626 to 0096eb92
5.4.0 (expand/collapse)
From commit 00a246c5 to 0127013b
5.4.1 (expand/collapse)
From commit 01ca7ead to 0219c46a
5.4.0 (expand/collapse)
From commit 0218f30a to 06fe1afa
5.3.0 (expand/collapse)
From commit 0767de3d to 0767de3d
5.4.0 (expand/collapse)
From commit 0634484a to 00610756
5.3.0 (expand/collapse)
From commit 036cef94 to 010d2f4a
5.4.0 (expand/collapse)
From commit 02f869ff to 016111e8
5.3.0 (expand/collapse)
From commit 04f3bc51 to 04f3bc51
5.4.0 (expand/collapse)
From commit 0646b9f7 to 069364f3
5.3.0 (expand/collapse)
From commit 069e9fd4 to 069e9fd4
5.4.0 (expand/collapse)
From commit 053168d4 to 03941c1e
5.3.0 (expand/collapse)
From commit 04cb05d2 to 04cb05d2
5.4.0 (expand/collapse)
From commit 03e78496 to 03e6ca15
5.3.0 (expand/collapse)
From commit 06c5e811 to 06c5e811
5.4.0 (expand/collapse)
From commit 0002a7d9 to 07b40774
5.3.0 (expand/collapse)
From commit 06b4f4d4 to 06b4f4d4
5.4.0 (expand/collapse)
From commit 006330bc to 04f71c2f
5.3.0 (expand/collapse)
From commit 00a54207 to 00a54207
5.4.0 (expand/collapse)
From commit 02648a6c to 01aa4bb7
5.3.0 (expand/collapse)
From commit 0375786e to 0574035b
5.4.0 (expand/collapse)
From commit 042597a5 to 04d6fa13
5.3.0 (expand/collapse)
From commit 05699ac8 to 05699ac8
5.4.0 (expand/collapse)
From commit 07891afc to 07891afc
5.3.0 (expand/collapse)
From commit 0607adde to 042b9c88
5.2.2 (expand/collapse)
From commit 02a3726a to 02a3726a
5.3.0 (expand/collapse)
From commit 00ab5c5b to 0111c7d8
5.2.2 (expand/collapse)
From commit 016922f8 to 016922f8
5.3.0 (expand/collapse)
From commit 02f70536 to 06b42906
5.2.2 (expand/collapse)
From commit 05bc5fed to 05bc5fed
5.3.0 (expand/collapse)
From commit 015d1380 to 027d52ff
5.2.2 (expand/collapse)
From commit 05ca6710 to 05ca6710
5.3.0 (expand/collapse)
From commit 078925c9 to 03476783
5.2.2 (expand/collapse)
From commit 028c1920 to 07db547c
5.1.0 (expand/collapse)
From commit 02388e9b to 02668d6c