A formal programming method to support operational research in which linear constraints are applied.
In progress (GI-N2K)