Publishing details

• Published on 2024-02-15

Changelog

clingo-dl (1.5.0-jammy1) jammy; urgency=medium

  * build for git revision 26711b12321ebc6b4e3f78715da8501ad16a6933

 -- Roland Kaminski <email address hidden>  Thu, 15 Feb 2024 20:00:58 +0000

Builds

• amd64

Built packages

• clingo-dl A solver for logic programs with linear constraints

• libclingo-dl A solver for logic programs with linear constraints

• libclingo-dl-dev A solver for logic programs with linear constraints

• python3-clingo-dl A solver for logic programs with linear constraints

Package files

• clingo-dl_1.5.0-jammy1.dsc (1.6 KiB)
• clingo-dl_1.5.0-jammy1.tar.xz (53.7 KiB)
• clingo-dl_1.5.0-jammy1_amd64.deb (21.3 KiB)
• libclingo-dl-dev_1.5.0-jammy1_amd64.deb (6.1 KiB)
• libclingo-dl_1.5.0-jammy1_amd64.deb (100.1 KiB)
• python3-clingo-dl_1.5.0-jammy1_amd64.deb (11.3 KiB)