Mention that we use Z-polyhedra
[linpy.git] / Makefile
2014-08-19 Vivien MaisonneuveISL -> isl
2014-08-05 Vivien MaisonneuveRename pypol into LinPy
2014-06-25 Vivien MaisonneuveDocumentation directory
2014-06-25 Vivien MaisonneuveRemove useless definitions in Makefile
2014-06-25 Vivien MaisonneuveImprove make clean
2014-06-25 Vivien MaisonneuveSplit linear.py and add domains
2014-06-23 Vivien MaisonneuveVerbose output for make test
2014-06-20 Vivien MaisonneuveUpdated Makefile
2014-06-20 Vivien MaisonneuveImplement isl_basic_set_constraints
2014-06-16 Vivien MaisonneuveMakefile for virtualenv
2014-06-16 Vivien MaisonneuveAdd islhelper.c library to handle isl constants
2014-05-22 Vivien MaisonneuveInitial commit