ToySolver.Data.DNF

data DNF lit