Optimize choosing the minimum term in a chain - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Optimize choosing the minimum term in a chain #371

Open deemp opened 3 months ago

deemp commented 3 months ago

Currently, --minimize-stuck-terms inefficiently computes sizes of terms.