conjure_oxide/
lib.rs

1// #![feature(doc_auto_cfg)]
2
3pub use conjure_core::ast;
4pub use conjure_core::error::Error;
5pub use conjure_core::metadata::Metadata;
6pub use conjure_core::parse::{get_example_model, get_example_model_by_path, model_from_json};
7pub use conjure_core::rule_engine;
8pub use conjure_core::rule_engine::{
9    get_all_rule_sets, get_rule_by_name, get_rule_set_by_name, get_rule_sets_for_solver_family,
10    get_rules, register_rule, register_rule_set, ApplicationError, ApplicationResult, Reduction,
11    Rule, RuleSet,
12};
13pub use conjure_core::rules;
14pub use conjure_core::solver;
15pub use conjure_core::solver::SolverFamily;
16pub use conjure_core::Model;
17
18pub mod find_conjure;
19pub mod utils;
20
21#[doc(hidden)]
22pub mod unstable;
23
24pub mod defaults;