Data.Logic.Instances.SatSolver