PEP 8
Reformat examples
Remove license and add to doc examples
Add license to examples
Rename pypol into LinPy
Fix license headers
Add GPL License
Rename Domain.project_out() into Domain.project()
Better implementation of NSAD'10 example
Support for dummy symbols
Fix examples
New example: basic implementation of ACI'10