#625 Upgrade to JavaBDD 7.0.0.
- Fixes synthesis crashing when the node table gets to big. And these days also the CIF controller properties checker.
- Besides that, synthesis may run for a little bit longer before running out of memory, as it is increased one more time to the maximum limit, before giving out of memory.
- JavaBDD 7.0.0 also has some other new features. Issues to adopt those are coming soon (by a colleague of mine).
Closes #625 (closed)