v0.5.5
New features
Views:
- add support for
"somes"
asextra
parameter to extract assignments ofSome
objects (e.g., examples/extra_somes.py)
Language:
- inequality (
!=
) betweenSome
objects (e.g., examples/extra_somes.py)
User interaction
TL;DR: support timeout and CTRL+C
- honor the
timeout
argument when solving (i.e., correctly interrupt clingo search) - add
settings["fail_if_timeout"]
to either throw aTimeoutError
exception (True
, default) or silently stop the solution enumeration (False
) - workaround the "GIL" to capture CTRL+C events during clingo search. This can be disabled with
settings["clingo_gil_workaround"]=0
. - add
settings["soft_interrupt"]
to either throwKeyboardInterrupt
exception (False
, default), or silently stop the solution enumeration (True
) when catching interruption signal
Bug fixes
- correct
action()
encoding
Full Changelog: v0.5.0...v0.5.5