adding two examples of homebrew set cover solvers based on CP ideas