Clingo

Latest version: v5.7.1

Safety actively analyzes 707240 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 4 of 5

4.5.3

* fixed regression w.r.t gringo 4.4 in translation of conditional literals
* fixed projection in incremental programs
* fixed bug with (double) negative literals in minimize constraints

4.5.2

* fixed memory leak in python API when enumerating models
* updated to clasp version 3.1.3

4.5.1

* ground term parser returns None/nil for undefined terms now
* added warning if a global variable occurs in a tuple of an aggregate element
* added auto detection of libraries
* changed option --update-domains into API function Control:cleanup\_domains
* fixed domain cleanup when used with minimize constraints
* fixed grounding of recursive disjunctions (regression in 4.5.0)
* fixed Control.stats in lua bindings
* fixed a bug in clingo that would print 0-ary classically negated atoms wrongly

4.5.0

* fixed grounding of recursive aggregates
* fixed usage of lua\_next
* fixed bug when applying constant definitions
* updated underlying clasp to version 3.1.1
* added support for negation in front of relation literals
* added option --update-domains to cleanup gringo's domains
using clasp's top-level assignment when solving incrementally
* added domain inspection to scripting interface
* added term parser to scripting interface
* added support for python 3 (experimental)
* added support for one elementary tuples
* added support for unary - operator in front of functions and symbols
* added support for recursive nonmonotone aggregate via translation
* added program reify to reify logic programs
* added option to rewrite minimize constaints for use with reify
* changed inbuilt iclingo mode
(breaks backwards compatibility)
* changed handling of pools, intervals, and undefined operations according to AG
(breaks backwards compatibility)
* changed handling of ==, it is treated like = now
* changed SolveFuture.interrupt to SolveFuture.cancel
(breaks backwards compatibility)

4.4.0

* updated underlying clasp to version 3.1.0
* this version brings numerous fixes regarding incremental solving
* scripting API changes
* ground takes a list of programs to ground now and immediately starts
grounding (breaks backwards compatibility)
* asolve has been renamed to solveAsync
(breaks backwards compatibility)
* the solver configuration is better integrated now
(breaks backwards compatibility)
* solver statistics are a property now
(breaks backwards compatibility)
* added a method to add clauses during solving
* added load method to load files
* added solveIter method to iterate over methods without using a callback
* added optional assumptions to solve/solveAsync/solveIter method
* enableEnumAssumption became a property
* added library that can be imported in python
* rules with fact heads where not simplified in all cases
* fixed grounding of recursive aggregates
* fixed translation of aggregates with multiple guards

4.3.0

* fixed bug with incremental parameters in minimize constraints
* fixed handling of empty tuples
* fixed translation of conditional literals
* fixed translation of factual body aggregates
* fixed bug not properly recognizing aggregates as non-monotone
* fixed bug not properly grounding recursive head aggregates
* fixed bug with recursive negated aggregates
* fixed bug with head aggregates with multiple elements
* improved handling of conditional literals
* added method to get optimization values of model in scripting language
* clingo uses clasp 3.0 now

Page 4 of 5

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.