Working test suite
[linpy.git] / pypol / __init__.py
1
2 """
3 A polyhedral library based on ISL.
4 """
5
6 from .linear import Constant, Symbol, symbols
7 from .linear import eq, le, lt, ge, gt
8 from .linear import empty, universe
9
10
11 __all__ = [
12 'Constant', 'Symbol', 'symbols',
13 'eq', 'le', 'lt', 'ge', 'gt',
14 'empty', 'universe'
15 ]