differential-formula 0.1.1

Incremental Formal Modeling Using Logic Programming and Analysis
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#[macro_use]
extern crate nom;
extern crate num;

extern crate abomonation_derive;
extern crate abomonation;

pub mod constraint;
pub mod engine;
pub mod expression;
pub mod parser;
pub mod rule;
pub mod term;
pub mod type_system;
pub mod util;