v2.0.0

Version 2.0.0

This version of clinguin adds several new features. Some of them make previous implementations incompatible.

Note: Make sure you clear your browsers cache to ensure it uses the latest version

All new changes are included in the documentation page

❗ Backwards incompatible

• _clinguin_assume/1 is now _clinguin_assume/2 where the second argument is either true or false
• Operation add_assumption/1 is now add_assumption/2 where the second argument is either true or false
• Attribute visible is now called visibility and the values are either shown or hidden
• Incompatibilities only relevant for extension:
  - ClingoMultishotBackend is removed and all its functionality is now in ClingoBackend
  - instead of extending __init__ now initializations are separated

🌟 List of all changes

Operations

• Operation add_assumption/1 is now add_assumption/2 where the second argument is either true or false. Giving the option to work with false assumptions.
• added operation to ground
• type parsing and defaults for user input in _context_value
• operation for model selection now accepts show statements for filtering
• added operation to set a constant

Attributes

• Attribute visible is now visibility and the values are either shown or hidden
• Attribute regarding style (such as filter) for canvas elements with an image path are now applied only to the canvas

Components

• New component progress_bar
• New component checkbox

UI

• Loader while server responds

Domain constructors

• _clinguin_assume/1 is now _clinguin_assume/2 where the second argument is either true or false
• added optimization information into domain state
• added information about externals
• added information about the constants
• performance improvement via automatic checks to skip constructors based on ui files

Command line

• added command line option for optimization timeout
• added argument for clingo general command line arguments

Backend

• ClingoMultishotBackend is removed and all its functionality is now in ClingoBackend
• instead of extending __init__ now initializations are separated
• added attribute self._args for command line arguments
• ExplanationBackend now using clingexplaid library

Examples

• New example with incremental solving
• New examples with optimization and false assumptions

General documentation update!

• Help section
• Example section
• Animations of UIs as example
• Several improvements overall