Publishing details
Changelog
clingcon (5.2.1-noble9) noble; urgency=medium
* build for git revision 389c96984cefb3b59cab45d3ebdf5719d94ebf81
-- Roland Kaminski <email address hidden> Sun, 23 Jun 2024 14:40:28 +0200
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