Update: Tanbir Ahmed's solver is now called "tawSolver".
Moved SplittingViaOKsolver with satz to dedicated place.
Data updates.
Data updates.