bcsat 0.1.0

A parser, printer and related utilities for BCSAT (http://users.ics.aalto.fi/tjunttil/bcsat/)
1
2
3
4
5
6
7
8
#![feature(box_syntax, box_patterns)]
#[macro_use]
extern crate nom;

pub mod ast;
pub mod parser;
pub mod printer;
pub mod transform;