- Bug fix
- Message elements on top of other elements
- Keep headers for sharing
- Menu bar fix
- Operation set_external also accepts values with quotes
- Docs
- Included list of possible events
- Additions
- Version for fastapi package was relaxed in requirements
- Improved error messages for missing elements
- Added error messages for connection issues
- Buttons on the menu bar can now have a specific order using attribute
order
- Bug fix
- Message elements now on top
- Docs
- Added documentation for mouse events
-
Incompatible
_clinguin_assume/1
is now_clinguin_assume/2
where the second argument is eithertrue
orfalse
- Operation
add_assumption/1
is nowadd_assumption/2
where the second argument is eithertrue
orfalse
ClingoMultishotBackend
is now subsumed byClingoBackend
-
Additions
- Backend extension
- instead of extending
__init__
now initializations are separated - added attribute
self._args
- ExplanationBackend now using
clingexplaid
library
- instead of extending
- Operations
- added operation to ground
- added option to set false assumptions
- type parsing and defaults for user input in
_context_value
- model selection now accepts show statements for filtering
- added operation to set a constant
- Attributes
- Attribute
visible
is nowvisibility
and the values are eithershown
orhidden
- Attribute regarding style (such as
filter
) for canvas elements with an image path are now applied only to the canvas
- Attribute
- Components
- New component
progress_bar
- New component
checkbox
- New component
- Domain constructors
- added optimization information into domain state
- added information about externals
- added automatic check to skip constructors based on
ui files
- added information about the constants
- Examples
- New example with incremental solving
- New examples with optimization and false assumptions
- UI
- Loader while server responds
- Command line
- added command line option for optimization timeout
- added argument for clingo general command line arguments
- General documentation update!
- Backend extension
Note: Make sure you clear your browsers cache to ensure it uses the latest version