example.name = State Merging
example.path = TO BE DECIDED
example.additionalFile.1 = Floats.java

Floating point support!

Mention SMT ...

Go for it. ...
