Publishing details

• Published on 2024-06-21

Changelog

clingo-dl (1.5.0-focal2) focal; urgency=medium

  * build for git revision 15dd56895902fc94913dcc5d0b8c3b7457973b90

 -- Roland Kaminski <email address hidden>  Fri, 21 Jun 2024 11:03:24 +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-focal2.dsc (1.6 KiB)
• clingo-dl_1.5.0-focal2.tar.xz (53.7 KiB)
• clingo-dl_1.5.0-focal2_amd64.deb (22.2 KiB)
• libclingo-dl-dev_1.5.0-focal2_amd64.deb (5.9 KiB)
• libclingo-dl_1.5.0-focal2_amd64.deb (97.0 KiB)
• python3-clingo-dl_1.5.0-focal2_amd64.deb (10.6 KiB)