Soft conflicts of levelezo.fet
Generated with FET 6.2.3 on 12/3/21 1:25 PM

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

Soft conflicts list (in decreasing order):


End of file.