v0.6.6
⚙️ Features:
- Add support for
CLINGO_OPTS
environment variable to pass custom argument toclingo
solver
🐛 Bugfixes:
- Fix compatibility issue with AEON
- Fix CEGAR-based reprogramming of ensembles of Boolean networks
- Improve support for non-string (int) node names
🗒️ Full Changelog: v0.6.5...v0.6.6