GitHub repository: kino-mc/rsmt2
Primary language: Rust
Created: 2016-09-21T07:14:18Z
Description: A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.