Skip to content
Snippets Groups Projects
Commit 1ea10d31 authored by Gebhart97's avatar Gebhart97
Browse files

Made a small improvement

Signature calculation uses the most recent partitionBdd now, probably cutting down the amount of refinementSteps necessary for more complicated coalgebras.
parent 4f5aec8c
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment