timetabling-problem

This repository contains the Java implementation of a decomposition algorithm to solve the integrated Timetabling and Electric Vehicle Scheduling Problem.

A SAT-based timetabling library written in Go, developed for the Faculty of Mathematics and Computer Science at the University of Havana.

This is the implementation of 4 different high-level alternative solutions for the Assessment Timetabling Problems with requirements documented in the coursework problem sheet.

Timetabling models implemented in AMPL based on MILP formulations