A complexity class analyser in PolyML using Ordinary Least Squares.
Primary LanguageStandard MLMIT LicenseMIT