v0.2.18

New Features

• Support tuple-based indexing in the Array theory / extension
• Support set-based abstraction of concrete values
• Support abstract interpretation of arrays
• Support fluent-specific abstractions in the abstract interpreter
• Add documentation for abstract interpreter and extension interfaces

Bug Fixes

• Fixed the implementation of satisfy for the abstract interpreter
• Fixed handling of both values in the abstract interpreter
• Fixed the abstraction of Boolean functions
• Fixed implementation of copy for compiled states

Full Changelog: v0.2.17...v0.2.18