Published June 18, 2025
| Version v3
Software
Open
bv_decide SMT-COMP 2025 Submission
Authors/Creators
-
Böving, Henrik
(Researcher)1
-
Bhat, Siddharth
(Researcher)2
-
Keizer, Alex
(Researcher)2
-
Cicolini, Luisa
(Researcher)2
-
Frénot, Léon
(Researcher)3
-
Mohamed, Abdalrhman
(Researcher)4
-
Stefanesco, Léo
(Researcher)2
-
Khan, Harun
(Researcher)4
-
Clune, Joshua
(Researcher)5
-
Barrett, Clark
(Researcher)4
- et al. Show all 11 authors
Authors/Creators
-
Böving, Henrik
(Researcher)1
-
Bhat, Siddharth
(Researcher)2
-
Keizer, Alex
(Researcher)2
-
Cicolini, Luisa
(Researcher)2
-
Frénot, Léon
(Researcher)3
-
Mohamed, Abdalrhman
(Researcher)4
-
Stefanesco, Léo
(Researcher)2
-
Khan, Harun
(Researcher)4
-
Clune, Joshua
(Researcher)5
-
Barrett, Clark
(Researcher)4
-
Grosser, Tobias
(Researcher)2
- 1. Lean FRO
-
2.
University of Cambridge
-
3.
École Normale Supérieure de Lyon
-
4.
Stanford University
-
5.
Carnegie Mellon University
Description
bv_decide solver submission for SMT-COMP 2025.
Files
bv_decide.zip
Files
(188.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:385ccb635767b30d7a64dee33bf33a19
|
188.9 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/hargoniX/Leanwuzla
- Programming language
- Lean