1 #include "problem.hpp" 2 #include "constraints/setstab.hpp" 3 #include "search/search.hpp" 4 #include <iostream> 5 main(void)6int main(void) 7 { 8 Problem p(6); 9 std::set<int> s; // c++14 {2,4}; 10 s.insert(2); 11 s.insert(4); 12 13 std::vector<AbstractConstraint*> v; 14 v.push_back(new SetStab(s, &p.p_stack)); 15 SearchOptions so; 16 so.only_find_generators = false; 17 SolutionStore ss = doSearch(&p, v, so); 18 19 D_ASSERT(ss.sols().size() == 4*3*2*2); 20 for(int i : range1(ss.sols().size())) 21 { 22 D_ASSERT(ss.sols()[i][2] == 2 || ss.sols()[i][2] == 4); 23 D_ASSERT(ss.sols()[i][2] == 4 || ss.sols()[i][2] == 2); 24 } 25 } 26