nixpkgs / clingcon - Extension of clingo to handle constraints over integers

Homepage - https://potassco.org/

License - GPL-3.0

Releases

3.3.0 (expand/collapse)
From commit 04e7462e to 00460bd6