copper/lib.rs
1// Enable unstable compiler features
2#![feature(int_roundings)]
3// Use `README.md` as documentation home page, to reduce duplication
4#![doc = include_str!("../README.md")]
5
6/// Simple domain transformations to make propagators more generic.
7pub mod views;
8
9mod model;
10mod props;
11mod search;
12mod solution;
13mod vars;
14
15#[cfg(test)]
16mod tests;
17
18pub use crate::model::Model;
19pub use crate::solution::Solution;
20pub use crate::vars::{VarId, VarIdBinary};