search

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

Fix incorrect results caused by uninitialized members in Object in custom parser #32

Closed sukrutrao closed 5 years ago

sukrutrao commented 5 years ago

In custom_parser.cpp, the boolean members of the Object struct were not initialized, which resulted in undefined behaviour.

This PR fixes this by defining a constructor that explicitly initializes these members.