Soft conflicts of 2019-20-II-levelezo.fet
Generated with FET 5.40.3 on 2020. 03. 09. 15:40

Number of broken soft constraints: 0
Total soft conflicts: 0

Soft conflicts list (in decreasing order):


End of file.