1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

// #![feature(doc_auto_cfg)]

pub use conjure_core::ast;
pub use conjure_core::error::Error;
pub use conjure_core::metadata::Metadata;
pub use conjure_core::model::Model;
pub use conjure_core::parse::{get_example_model, get_example_model_by_path, model_from_json};
pub use conjure_core::rule_engine;
pub use conjure_core::rule_engine::{
    get_rule_by_name, get_rule_set_by_name, get_rule_sets, get_rule_sets_for_solver_family,
    get_rules, register_rule, register_rule_set, ApplicationError, ApplicationResult, Reduction,
    Rule, RuleSet,
};
pub use conjure_core::rules;
pub use conjure_core::solver;
pub use conjure_core::solver::SolverFamily;

pub mod find_conjure;
pub mod utils;

#[doc(hidden)]
pub mod unstable;