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