Closed maikkirapo closed 7 years ago
This is already merged, you can start a new branch from master and cherry pick the latest commit to it.
https://git-scm.com/docs/git-cherry-pick
git checkout master
git pull
git checkout -b improvement
git cherry-pick b992443e42834f0f948126073c5ab792558a3553
Replaced Kll invariant with a better solution.