diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-22 21:18:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-23 02:18:13 +0000 |
| commit | cea1ad700bc4cff0d9fcfb0f14c8908e24bbc8c2 (patch) | |
| tree | c6155e30d275fe7b61b189281b45016ba3bd3e98 /src/prop/bvminisat/simp/SimpSolver.h | |
| parent | 55c2f669abe354ffb258a0da89358f8c5366e2c4 (diff) | |
Enable strings exp by default for strings specific logics (#6424)
One of the main motivations for this PR is to simplify our process for doing SMT-LIB wide runs.
Diffstat (limited to 'src/prop/bvminisat/simp/SimpSolver.h')
0 files changed, 0 insertions, 0 deletions