Omega+ is a mathematical library for manipulating integer linear constraints over integer variables in first order logic, and operations on integer sets and their mappings.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Verdoolaege, Sven: isl: An integer set library for the polyhedral model (2010)