SMT Solver Update

These instructions provide information on how to update the version of an existing SMT solver in ESBMC.

1. Open the file BUILDING.md and update the SMT solver version. For example, we’ll update the bitwuzla version from 0.5.0 to 0.6.0.

2. Open the file src/solvers/bitwuzla/CMakeLists.txt and update the SMT solver version (bitwuzla 0.5.0):

3. The next step is to check whether the SMT solver has changed their API signature. If they have changed, we must also update the respective interface in the src/solvers