Implementation of Domain.fromsympy(), tosympy()
[linpy.git] / pypol / __init__.py
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