search

mikhailramalho / camada

Apache License 2.0
4 stars 0 forks source link

How does it compare to Smt-Switch? #31

Open pmatos opened 3 years ago

pmatos commented 3 years ago

It would be interesting to see a comparison between this API and Smt-Switch: https://github.com/makaimann/smt-switch They are publishing in SAT 2021.