Publishing details

• Published on 2024-02-16

Changelog

clingo-lpx (1.3.0-jammy2) jammy; urgency=medium

  * build for git revision 433954c41a11ed221dcebef431f63aa47338c996

 -- Roland Kaminski <email address hidden>  Fri, 16 Feb 2024 16:50:14 +0000

Builds

• amd64

Built packages

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

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

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

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

Package files

• clingo-lpx_1.3.0-jammy2.dsc (1.7 KiB)
• clingo-lpx_1.3.0-jammy2.tar.xz (1.3 MiB)
• clingo-lpx_1.3.0-jammy2_amd64.deb (20.5 KiB)
• libclingo-lpx-dev_1.3.0-jammy2_amd64.deb (6.1 KiB)
• libclingo-lpx_1.3.0-jammy2_amd64.deb (115.1 KiB)
• python3-clingo-lpx_1.3.0-jammy2_amd64.deb (11.2 KiB)