Project for Automated Reasoning course at MATF Belgrade. Implementation of Knut-Bendix Completion Algorithm (C++).
Authors: Ljubica Acimovic (bubirose)
-
Notifications
You must be signed in to change notification settings - Fork 0
bubirose/Knuth-Bendix
About
Project for Automated Reasoning course at MATF Belgrade. Authors: Ljubica Acimovic (bubirose)
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published