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
12
13
14
15
16
17
18

/*! Rusty Razor is a tool for constructing finite models for first-order theories with equality.

The model-finding algorithm is inspired by [the Chase](https://en.wikipedia.org/wiki/Chase_(algorithm))
in database systems. Given an input first-order theory, Razor constructs a set of homomorphically
minimal models that satisfy theory.

To learn more about the theoretical foundation of Razor, check out my
[PhD dissertation](https://digitalcommons.wpi.edu/etd-dissertations/458/). */

#![doc(issue_tracker_base_url = "https://github.com/salmans/rusty-razor/issues")]
pub mod chase;
pub mod trace;

#[cfg(test)]
mod test_prelude;

#[macro_use]
extern crate tracing;