Skype Meeting 31/05/2016¶

Current Tasks:
LRA Interpolation
Milestone I
SSA -> SMT:

1. Upload the temp changes into a new git branch
2. change the current output (comments from the meeting)

Future Tasks:
Search+uploading Benchmarks to Git
Funfrog + Parallelizm
EUF with Predicats (True/False P(x)) - see skype meeting from the 24/05/2016