Weights corresponding to custom constraints are not added correctly

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

Weights corresponding to custom constraints are not added correctly #10

Closed prateekkumarweb closed 6 years ago

prateekkumarweb commented 6 years ago

[x] SAME, NOT SAME Bug
[x] Weights assigned to custom constraints Bug

prateekkumarweb commented 6 years ago

Fixed SAME, NOTSAME custom constraints bug.

sukrutrao commented 6 years ago

Weights for predefined constraints fixed in cb53c27.

Weights for custom constraints fixed in 3deef5a.