v0.5.5

New features

Views:

• add support for "somes" as extra parameter to extract assignments of Some objects (e.g., examples/extra_somes.py)

Language:

• inequality (!=) between Some 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 a TimeoutError 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 throw KeyboardInterrupt 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