GitHub repository: 404Naz/oasis
Primary language: C++
Description: Open Algebra Software for Inferring Solutions