Releases: bigraphs/jlibbig
Releases · bigraphs/jlibbig
jLibBig 0.0.4
New features:
- Support for directed bigraphs and their rewriting systems (by Alessio Chiapperini). Directed bygraphs and their rewriting systems are introduced by Davide Grohmann and Marino Miculan (2007); the algorithm for computing embeddings of directed bigraphs is based on Chiapperini et al..
Other changes:
- Completed the migration to the new API of CHOCO-Solver.
- Migration to Gradle build system.
- Bug fixes and performance improvements.
jLibBig 0.0.3
New Features
- Attached properties and replication policies.
- Weighted and approximated bigraph embeddings based on "A CSP implementation of the bigraph embedding problem".
Other changes
- Reduced synchronisation points in naming engine.
- Caching for structural checks.
- Bug fixes.