sukrutrao / Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
https://timetabler.readthedocs.io
MIT License
37 stars 9 forks source link

Issue with PEGTL #42

Closed nagasai-iitr closed 4 years ago

nagasai-iitr commented 4 years ago

It would be better to help setting up taocpp/pegtl Because I'm finding difficulty in achieving to do so. Thank you