improved solver: removed trivial algorithm with a more sophisticated one
added tests for coloring solution feasibility
documentation fix