GitHub repository: Eagle1456/Oasis-SamFork
Primary language: C++
Description: Open Algebra Software for Inferring Solutions