search

elsoroka / Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
https://elsoroka.github.io/Satisfiability.jl/
MIT License
28 stars 4 forks source link

Support for quantifiers #31

Open remysucre opened 7 months ago

remysucre commented 7 months ago

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

elsoroka commented 7 months ago

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.