backtrack 0.3.0

Solve hard constraints easily
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

use std::fmt::Debug;

pub(crate) fn assert_unsat_unique<T>(unsats: T)
where
    T: IntoIterator,
    T::Item: PartialEq + Debug,
{
    let mut all = Vec::new();
    for u in unsats.into_iter() {
        assert!(!all.contains(&u), "{:?} appeared a second time", &u);
        all.push(u);
    }
}