Soft conflicts of levelezo.fet
Generated with FET 5.35.4 on 3/21/18 10:39 AM

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

Soft conflicts list (in decreasing order):


End of file.