1 #include "problem.hpp" 2 #include "constraints/setstab.hpp" 3 #include <iostream> 4 main(void)5int 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