Initial commit
Added insynth, necessary sources and tests
Added source files necessary for the Leon framework
Refactoring and parameter adjustment
Some refactorings and parameter adjustments
Some example and parameter corrections
Small bug in the pre-loader
Refactoring, small fixes and get rid of compilation warnings
New version of reconstruction transformer
Added additional source, new streams version
New version of the ordered reconstruction
Working version with new version of (lazy enumeration) streams
Fixed and cleaned the logging utilities
Added sbt build file
Domain language-oblivious state, solver works and passes tests
Added simple tests for structures
Added streams and tests
Appropriate gitignore
SuccinctType test proper name
Adding reconstruction intermediate phase