Add yices and bitwuzla with abstraction flag to the solvers available
Open
enhancement
- Dominant language
- Haskell
- Stars
- 358
- Forks
- 79
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 6
Description
Reference: https://github.com/a16z/halmos/blob/dac5018c4043ef392e7c0a1c4f646e6c0be909d1/src/halmos/solvers.py
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by comparing the referenced halmos/src/halmos/solvers.py implementation with hevm's solver-selection code. Trace how available solvers and the abstraction flag are represented, then verify that Yices and Bitwuzla can be selected and that the flag changes their configuration as intended.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100