smtlib-lowlevel 0.1.2

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

use std::fs::File;

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let out = smtlib_build_util::out_dir();

    let mut ast_file = File::create(out.join("ast.rs")).unwrap();

    smtlib_build_util::spec::generate(&mut ast_file)?;

    Ok(())
}