removed unused files
remove unused files in example
towards a Babelsberg-compatible csp solver
added underscore to ease number-crunching tasks
first running example using csp solver