this repo has no description
1solve ::gecode_search(myplugin(1,2,3)) satisfy;