Next:
1.1 About this release
Up:
The Omega Library Interface
Previous:
Contents
1 Introduction
1.1 About this release
1.2 What is the Omega Library?
1.3 What are tuple relations and sets?
1.4 What are Presburger formulas?
1.5 What are uninterpreted function symbols ?
1.6 Manipulating integer tuple relations and sets
omega@cs.umd.edu
Web Accessibility
