GitHub repository: leanprover/smt2_interface
Primary language: Lean
Created: 2017-04-18T21:07:01Z
Description: Interface to SMT2 solvers