Vak Combinatorial Solvers (IN4336)