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.