smtlib-lowlevel 0.1.5

A low-level API for interacting with SMT solvers
Documentation 
1
2
3
4
5
6
7
8
9

# smtlib-lowlevel

[![Crates.io](https://img.shields.io/crates/v/smtlib-lowlevel.svg)](https://crates.io/crates/smtlib-lowlevel)
[![Docs](https://docs.rs/smtlib-lowlevel/badge.svg)](https://docs.rs/smtlib-lowlevel)
[![Crates.io license shield](https://img.shields.io/crates/l/smtlib-lowlevel.svg)](https://crates.io/crates/smtlib-lowlevel)

> A low-level API for interacting with SMT solvers

This is the low-level counter-part to [`smtlib`](https://github.com/oeb25/smtlib-rs). It includes the low-level types for communicating with SMT solvers. This means a SMTLIB2 parser, and an interactive way to send commands to the SMT solver, interpret results, and respond to the results.