Skip to content

Adding unary encoding to lpsbinary#1895

Open
mmgbartels wants to merge 5 commits into
mCRL2org:masterfrom
mmgbartels:lpsunary
Open

Adding unary encoding to lpsbinary#1895
mmgbartels wants to merge 5 commits into
mCRL2org:masterfrom
mmgbartels:lpsunary

Improve unary replacement of expressions d == A

e25468e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs