Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Investigate integration of other SMT solvers via smt-switch #203

Open
surovic opened this issue Dec 8, 2021 · 0 comments
Open

Investigate integration of other SMT solvers via smt-switch #203

surovic opened this issue Dec 8, 2021 · 0 comments
Labels
decomp Related to LLVM IR to C decompiler enhancement New feature or request

Comments

@surovic
Copy link
Contributor

surovic commented Dec 8, 2021

Smt-Switch is a generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers, including Z3, CVC5 and more.

This could provide access to different simplification approaches for example.

@surovic surovic added enhancement New feature or request decomp Related to LLVM IR to C decompiler labels Dec 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
decomp Related to LLVM IR to C decompiler enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant