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

v1.0.1

• The code was reorganized to simplify the extension of the server functionalities in each backend.
  • the clinguin-state was removed and now the domain state is created by multiple constructors
  • the class UIFB was removed and functionality was separated
  • the abstract backend was removed to avoid confusion
• ❗❗❗ _b and _c tags are replaced by _any and _all
• Added documentation for creating your own backend and using the angular frontend

v1.0.0

First official clinguin release. Check out the documentation page for detailed information on the system.

Version 1.0.0 Beta

This the first Beta release of clinguin.

We hope this version allows people to try the systems and give us feedback for further development.