Implement standard widening
[linpy.git] / pypol / __init__.py
2014-07-11 Vivien MaisonneuveRename coordinates.py into geometry.py
2014-07-11 Vivien MaisonneuveNew module coordinates.py
2014-07-03 Vivien MaisonneuveSwap order of symbols and Dummy
2014-07-03 Vivien MaisonneuveSupport for dummy symbols
2014-07-02 Vivien MaisonneuveRename Constant into Rational
2014-06-25 Vivien MaisonneuveSplit linear.py and add domains
2014-06-20 Vivien MaisonneuveImplement isl_basic_set_constraints
2014-06-19 Vivien MaisonneuveConstant names Empty and Universe, pretty printing
2014-06-19 Vivien MaisonneuveRemove useless imports
2014-06-18 Vivien MaisonneuveClasses Symbol and Constant, rather than functions...
2014-05-22 Vivien MaisonneuveInitial commit