Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

Redesign minimisation by equivalent states, reduce includes in the cli libraryloader.

Merge request reports