A formal programming method to support operational research in which variables are constrained to integers.
In progress (GI-N2K)