Publishing details
Changelog
clingcon (5.2.1-focal9) focal; urgency=medium
* build for git revision bd4fd5acd0c722ff3dd1bc85d2d2575a27356077
-- Roland Kaminski <email address hidden> Fri, 21 Jun 2024 21:45:26 +0000
Builds
Built packages
-
clingcon
A solver for logic programs with linear constraints
-
libclingcon
A solver for logic programs with linear constraints
-
libclingcon-dev
A solver for logic programs with linear constraints
-
python3-clingcon
A solver for logic programs with linear constraints
Package files