Publishing details
Changelog
clingcon (5.2.1-noble2) noble; urgency=medium
* build for git revision 8c476557facf9fc996ec67053a01b6273fd9baba
-- Roland Kaminski <email address hidden> Mon, 24 Jun 2024 10:25:00 +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