The Opt branch

Apr 17, 2014 at 2:51 PM
Would it be possible to synchronize the opt branch with the unstable one ?

I would like to use the new ml binding (which branch is in sync with unstable) and the merging of the two report lot's of errors in duality, which is quite above my competence in z3.

I suppose this merge is going to happen sooner or latter, but I would appreciate sooner a lot ! :)
Thanks.