../ ConSat.hs 15-Feb-2019 12:44 13826 Fair.hs 15-Feb-2019 12:44 1814 FolSat-new.hs 15-Feb-2019 12:44 12890 FolSat.hs 15-Feb-2019 12:44 18718 Solve.hs 15-Feb-2019 12:44 1728 TermSat.hs 15-Feb-2019 12:44 7752