rsmt2 0.4.5

Wrapper for SMT Lib 2 compliant SMT solvers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

# `rsmt2`

[![Build Status](https://travis-ci.org/kino-mc/rsmt2.svg?branch=master)](https://travis-ci.org/kino-mc/rsmt2) [![Latest Version](https://img.shields.io/crates/v/rsmt2.svg)](https://crates.io/crates/rsmt2)

`dev`: [![Build Status](https://travis-ci.org/kino-mc/rsmt2.svg?branch=dev)](https://travis-ci.org/kino-mc/rsmt2)

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

[Crate.io documentation.][doc]



# Known projects using `rsmt2`

- [kinō][kino], a model-checker for transition systems.

# License

MIT/Apache-2.0

[doc]: https://docs.rs/rsmt2 (Documentation)
[kino]: https://github.com/kino-mc/kino (kino)