2014-08-19 | Vivien Maisonneuve | Cleaner implementation of Domain.__and__() | blob | commitdiff | raw |
2014-08-19 | Vivien Maisonneuve | Check argument type in Domain.project() | blob | commitdiff | raw | diff to current |
2014-08-19 | Vivien Maisonneuve | Return NotImplemented in Domain special methods | blob | commitdiff | raw | diff to current |
2014-08-18 | Vivien Maisonneuve | Docstrings | blob | commitdiff | raw | diff to current |
2014-08-18 | Vivien Maisonneuve | Rename Expression class into LinExpr | blob | commitdiff | raw | diff to current |
2014-08-11 | Vivien Maisonneuve | Docstrings and simplifications of domains.py | blob | commitdiff | raw | diff to current |
2014-08-05 | Vivien Maisonneuve | Rename pypol into LinPy | blob | commitdiff | raw | diff to current |