razor-chase 0.1.0

razor-chase implements a variation of The Chase algorithm to find models for theories in geometric form.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! Contains all implementations of models, sequents and evaluators.
//!
//! The module implements different versions of the Chase and various instances of
//! [`ModelTrait`], [`SequentTrait`] and [`EvaluatorTrait`]
//!
//! [`ModelTrait`]: ../trait.ModelTrait.html
//! [`SequentTrait`]: ../trait.SequentTrait.html
//! [`EvaluatorTrait`]: ../trait.EvaluatorTrait.html
pub mod basic;
pub mod reference;
pub mod batch;