GitHub repository: ratioSolver/SeMiTONE
Primary language: C++
Description: Satisfiability Modulo TheOries NEtwork (SeMiTONE)