1 #include "problem.hpp"
2 #include "constraints/setstab.hpp"
3 #include <iostream>
4 
main(void)5 int main(void)
6 {
7     Problem p(11);
8     std::set<int> s; // c++14: {2,4,6,8};
9     s.insert(2); s.insert(4); s.insert(6); s.insert(8);
10     p.addConstraint(new SetStab(s, &p.p_stack));
11     p.p_stack.sanity_check();
12     p.con_store.initConstraints(true);
13     p.p_stack.sanity_check();
14     assert(p.p_stack.cellCount() == 2);
15     assert(p.p_stack.cellSize(2) == 4);
16 }
17