created state sources
created sat-types and properties
created storages
added frontend, facets
implemented main.cpp
added walksat
temporarily removed old solvers
added transitions
added wsat selector
added utils
added solver models
added selector_base
minor facet bugfixes
added transitions, working on facets/states
introduce state trait
first version which compiles
introduced meta-language frontend
removed some files
removed some files
new usability stuff