Combinatorial solver working