Soft conflicts of levelezo.fet
Generated with FET 5.37.0 on 9/19/18 12:35 PM

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

Soft conflicts list (in decreasing order):


End of file.