Create test suite and mechanism to test on randomly generated test cases

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

Create test suite and mechanism to test on randomly generated test cases #16

Open sukrutrao opened 6 years ago