Bachelor thesis implementation of the core for the model evaluator.
Primary LanguageC++MIT LicenseMIT