Skip to content

v0.6.6

Compare
Choose a tag to compare
@pauleve pauleve released this 28 Aug 14:01
· 4 commits to master since this release

⚙️ Features:

  • Add support for CLINGO_OPTS environment variable to pass custom argument to clingo 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