v2.6.0.dev5

Pre-release

Pre-release

github-actions released this 02 Jul 15:38

· 13 commits to master since this release

9786b9a

✨ New Features

989a92e - ast: add Tseytin CNF transformation
42b3d13 - core: add shared AttributeOptimization operation interface
b4e5b1c - configuration: add optional decision provenance

🐛 Bug Fixes

e437492 - core: correct simplification, metrics state, and extension resolution
9f41e56 - core: satisfy mypy strict (generic type args, drop redundant casts)

🔧 Chores

9786b9a - bump version to 2.6.0.dev5

Assets 2