sukrutrao/Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
C++MIT
Pinned issues
Issues
- 1
Error parsing constraints
#43 opened by nagasai-iitr - 1
[INFO] Input is valid [ERROR] custom.txt:1:0(0) Error parsing custom constraints
#45 opened by F4DE777 - 0
- 0
Issue with PEGTL
#42 opened by nagasai-iitr - 0
Improve documentation
#12 opened by prateekkumarweb - 1
Unclear terminology
#41 opened by aeria - 0
Add support for multiple instructors
#39 opened by sukrutrao - 1
Create release
#1 opened by sbjoshi - 3
- 3
What is segments in Fields.yml .
#3 opened by Siddiq200 - 3
Two course Could not be at same day
#4 opened by Siddiq200 - 3
- 3
- 3
Custom Constraints (NOT) has no Effect
#7 opened by Siddiq200 - 2
- 1
Add comments in all the files
#8 opened by prateekkumarweb - 1
Change Makefile to CMake
#9 opened by prateekkumarweb - 0
- 2
Remove IITH specific statement in the description
#21 opened by sbjoshi - 0
Command line arguments
#11 opened by prateekkumarweb - 0
- 1
Use glog for logging
#23 opened by sukrutrao - 0
- 0
Improve error messages
#13 opened by sukrutrao - 0
Use GoogleTest for testing
#14 opened by prateekkumarweb