/AutomatedReasoning

In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.

Primary LanguageJavaMIT LicenseMIT

No issues in this repository yet.