ToySolver.Converter.SAT2IP