GitHub repository: JoanThibault/modulus
Description: SMT solver from the ground up