Support for quantifiers

[remysucre]

Is there plan to add support for quantifiers (forall and exists)?

[elsoroka]

That is definitely something that will be good to add. I'm currently waiting for a paper submission (results expected Feb. 16) but expect after that to continue adding features! It would also be great to find more contributors if you know anyone looking for a project.