Time-Tabling solver