oxiz-solver 0.2.0

Main CDCL(T) Solver API for OxiZ
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Model Building for SMT Solvers.

#[allow(unused_imports)]
use crate::prelude::*;

pub mod advanced_builder;
pub mod builder;
pub mod completion;
pub mod minimizer;

pub use advanced_builder::{
    AdvancedModelBuilder, ArrayValue, Model as AdvancedModel,
    ModelBuilderConfig as AdvancedModelBuilderConfig,
    ModelBuilderStats as AdvancedModelBuilderStats, ModelValue, Theory, Value as ModelValue2,
};
pub use builder::{Model, ModelBuilder, ModelBuilderConfig, ModelBuilderStats, Value, VarId};
pub use completion::{CompletionConfig, CompletionStats, CompletionStrategy, ModelCompleter};
pub use minimizer::{
    Assignment, MinimizationStrategy, MinimizerConfig, MinimizerStats, ModelMinimizer,
};