GitHub repository: uenoku/egison-smt
Created: 2019-09-15T16:01:15Z
Description: SMT solver in Egison