Publishing details
Changelog
clingo (5.7.2-focal2) focal; urgency=medium
* build for git revision e918de81ef6484df78651a54b12873b101f9816e
-- Roland Kaminski <email address hidden> Tue, 18 Jun 2024 12:47:10 +0000
Builds
Built packages
-
clingo
A solver for logic programs
-
libclingo
A solver for logic programs
-
libclingo-dev
A solver for logic programs
-
python3-clingo
A solver for logic programs
Package files