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
Stargazers
- 402332509EF Education First
- aanshu18
- algomaster99KTH Royal Institute of Technology
- AustineGwaNairobi Kenya
- bennokrAmsterdam
- dkodar20IIT Palakkad
- EncoderA
- geflex
- ghedwardsBrisbane, Australia
- goel97
- gpapadop79
- HoldYourWaffleLaurens Lyceum
- HuengchI
- imranashrafFAST NUCES University
- jblachly
- KushJoshi16
- KyivJuntaUkraine, Kyiv
- mdcpepper
- mesaglamBGS Interaktif A.S.
- nagasai-iitrziraaf
- nyimbiDatacraft
- ocordeiro
- prateekkumarwebApple (@apple)
- pu2wofHiggsConsultoria
- ribeirojose@bleu
- S-DeyKolkata, India
- sameralkrenawi
- sbjoshi
- sukrutraoMax Planck Institute for Informatics
- svr8New York, US
- TheGr8Jaat
- TMatrix
- tmsnvddevbridge
- umutcMagistum
- utpalboraCambridge
- volcacius@Apple