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