Vak Combinatorial Solvers (IN4397)