Publishing details

• Published on 2024-02-16

Changelog

clingo (5.7.1-focal1) focal; urgency=medium

  * build for git revision 849f2828b4b0a9eccb0fcb6e74cc2808151db20d

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

Builds

• amd64

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

• clingo_5.7.1-focal1.dsc (1.6 KiB)
• clingo_5.7.1-focal1.tar.xz (1.9 MiB)
• clingo_5.7.1-focal1_amd64.deb (700.9 KiB)
• libclingo-dev_5.7.1-focal1_amd64.deb (51.9 KiB)
• libclingo_5.7.1-focal1_amd64.deb (1.2 MiB)
• python3-clingo_5.7.1-focal1_amd64.deb (98.2 KiB)