GitHub repository: DennisYurichev/MK85
Primary language: C
Description: Simple SMT solver