refactoring
?
bugfixes..
more efficient mixed update constraint
rename
versions are important
added InputReductions
minor fixes..
interactive decision diagrams fertig.