1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// Enable unstable compiler features
#![feature(int_roundings)]
// Use `README.md` as documentation home page, to reduce duplication
#![doc = include_str!("../README.md")]

/// Simple domain transformations to make propagators more generic.
pub mod views;

mod model;
mod props;
mod search;
mod solution;
mod vars;

#[cfg(test)]
mod tests;

pub use crate::model::Model;
pub use crate::solution::Solution;
pub use crate::vars::{VarId, VarIdBinary};