Refactoring mintermization to MintermizationDomain#355

Draft

martinhruska wants to merge 20 commits intodevelfrom mintermization-refactor

+281-372

Commits on Aug 13, 2023

Towards generalized mintermization
martinhruska
committed

Commits on Sep 8, 2023

mintermization is ugly but working, needs to find out what to do with the bloody bdd manager
martinhruska
committed

Commits on Sep 13, 2023

Commits on Sep 28, 2023

Merge branch 'devel' into mintermization-refactor
martinhruska
committed

Commits on Sep 30, 2023