Improve representation of Constants
[linpy.git] / pypol / __init__.py
1 """
2 A polyhedral library based on ISL.
3 """
4
5 from .linear import Constant, Symbol, symbols
6 from .linear import eq, le, lt, ge, gt
7 from .linear import Empty, Universe
8
9
10 __all__ = [
11 'Constant', 'Symbol', 'symbols',
12 'eq', 'le', 'lt', 'ge', 'gt',
13 'Empty', 'Universe'
14 ]