2014-08-18 | Vivien Maisonneuve | Check symbol names | tree | commitdiff |
2014-08-18 | Vivien Maisonneuve | Rename Expression class into LinExpr | tree | commitdiff |
2014-08-18 | Vivien Maisonneuve | Fix unitary tests | tree | commitdiff |
2014-08-11 | Vivien Maisonneuve | Docstrings and simplifications of domains.py | tree | commitdiff |
2014-08-05 | Vivien Maisonneuve | Rename pypol into LinPy | tree | commitdiff |