🤔 A grounder and solver for logic programs.
conda install -c potassco clingo
.conda install -c potassco clingo
.Model::is_consequence
to API (#423)add_theory_atom_with_guard
in Python APIclingo_control_ground
is re-entrant (#418)conda install -c potassco clingo
.conda install -c potassco clingo
.conda install -c potassco clingo
.conda install -c potassco clingo
.parse_files
in C++ APIconda install -c potassco clingo
.Model.symbol
(#296)clingo.hh
header regarding C++17 deprecations (#344)conda install -c potassco clingo
.not
as a theory operator (#193)max_size
to size
in APIs and remove previous size
method
(breaks backward compatibility but makes things consistent)remove_watch
and freeze_literal
to propagate_init
(#285)clingo.Tuple
to clingo.Tuple_
(to avoid name clashes with typing.Tuple
)This minor release fixes a small build issues with Python 3.8 and later.
Existing clingo 5.4.0 binaries can be reused and packages that already apply this patch do not have to be updated.
conda install -c potassco clingo
.TruthValue.{_True,_False}
becomes TruthValue.{True_,False_}
HeuristicType.{True,False}
becomes TruthValue.{True_,False_}
async
and yield becomes async_
and yield_
find_python
module