answered 10 years ago
You can enumerate integer points in a polytope using Sage. Create the polytope P using A and inequalities specifying S, i.e. −1≤xi≤1 for all i. (look up docs on Polyhedron). Then call P.integral_points()