Skip to content

📦 v2.3.6

Choose a tag to compare

@PioBeat PioBeat released this 28 Jan 14:17
· 38 commits to main since this release

Features

  • Added support for custom, user-defined model checking strategies, including the new SimulatedAnnealingFrontierStrategy.

Refactoring

  • Renamed org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch to org.bigraphs.framework.simulation.matching.pure.PureBigraphMatch for a cleaner matcher API.

Maintenance

  • Documentation updated (SSR tutorial)
  • Improved self-sorting robots and fruit basket example and extended unit tests with additional bigraph predicates.
  • Development-related details moved to a separate documentation file.