Soft conflicts of levelezo.fet
Generated with FET 5.43.2 on 3/13/20 7:14 PM

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

Soft conflicts list (in decreasing order):


End of file.