A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
-
Updated
Sep 29, 2019 - C++
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
A pseudo-3D pursuit and racing game made using SFML C++
Assignments for CS6013 Advanced Data Structures and Algorithms @ IIT Hyderabad
Add a description, image, and links to the iith topic page so that developers can more easily learn about it.
To associate your repository with the iith topic, visit your repo's landing page and select "manage topics."