anthem-rs/src/lib.rs

#![feature(trait_alias)]

pub mod commands;
pub mod error;
pub mod input;
pub mod output;
pub mod problem;
pub(crate) mod traits;
pub mod translate;
mod utils;

pub use error::Error;
pub use problem::Problem;
pub(crate) use utils::*;
pub use utils::{Domain, InputConstantDeclarationDomains, ProofDirection};
Refactoring to drop Context type 2020-02-01 19:20:46 +01:00			`#![feature(trait_alias)]`

Work in progress 2020-05-05 19:40:57 +02:00			`pub mod commands;`
Translate body of rules for verifying properties 2020-01-31 17:19:44 +01:00			`pub mod error;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub mod input;`
Add option for output format 2020-02-03 22:51:19 +01:00			`pub mod output;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub mod problem;`
Restructure project 2020-02-04 16:53:52 +01:00			`pub(crate) mod traits;`
Work in progress 2020-01-24 13:32:43 +01:00			`pub mod translate;`
Restructure project 2020-02-04 16:45:06 +01:00			`mod utils;`
Work in progress 2020-01-24 13:32:43 +01:00
Translate body of rules for verifying properties 2020-01-31 17:19:44 +01:00			`pub use error::Error;`
Work in progress 2020-05-05 19:40:57 +02:00			`pub use problem::Problem;`
Restructure project 2020-02-04 16:45:06 +01:00			`pub(crate) use utils::*;`
Add option for proof direction 2020-05-07 02:53:48 +02:00			`pub use utils::{Domain, InputConstantDeclarationDomains, ProofDirection};`