Skip to content

Pull requests: SMT-COMP/smt-comp.github.io

New pull request New
43 Open 225 Closed
43 Open 225 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

update Xolver status
#285 opened May 30, 2026 by fuqi-jia Loading…
1
UltimateEliminator submission submission Submissions for SMT-COMP
#284 opened May 28, 2026 by Heizmann Contributor Loading…
1
yicesQS 2026 submission submission Submissions for SMT-COMP
#282 opened May 28, 2026 by disteph Contributor Loading…
1
Yices2 Submission to SMTCOMP 2026 submission Submissions for SMT-COMP
#281 opened May 28, 2026 by ahmed-irfan Contributor Loading…
1
Bituzla-dandelion Submission for SMT-COMP 2026 submission Submissions for SMT-COMP
#280 opened May 28, 2026 by DarkPaper2022 • Draft
1
cvc5 for SMT-COMP 2026 submission Submissions for SMT-COMP
#279 opened May 27, 2026 by daniel-larraz Loading…
1
cvc5-xyz for SMT-COMP 2026 submission Submissions for SMT-COMP
#278 opened May 27, 2026 by namasikanam Loading…
1
Bitwuzllob 2026 submission submission Submissions for SMT-COMP
#277 opened May 27, 2026 by mpreiner Contributor Loading…
1
Bitwuzla-MachBV Submission for SMT-COMP 2026 submission Submissions for SMT-COMP
#276 opened May 27, 2026 by Andeviking Contributor Loading…
1
Bitwuzla 2026 submission submission Submissions for SMT-COMP
#275 opened May 27, 2026 by mpreiner Contributor Loading…
1
QiuQi submissions 2026 submission Submissions for SMT-COMP
#274 opened May 27, 2026 by YZhang322 Loading…
1
SMTS (sequential) submission 2026 non-competing submission Submissions for SMT-COMP
#273 opened May 27, 2026 by Tomaqa Contributor Loading…
4
SMTS submission 2026 submission Submissions for SMT-COMP
#272 opened May 27, 2026 by Tomaqa Contributor Loading…
3
Ostrich submission 2026 submission Submissions for SMT-COMP
#271 opened May 27, 2026 by OliverMa1 Contributor Loading…
Z3-Noodler submission 2026 submission Submissions for SMT-COMP
#270 opened May 27, 2026 by jurajsic Contributor Loading…
1
Bitwuzla-SPFD Submission for SMT-COMP 2026 submission Submissions for SMT-COMP
#269 opened May 27, 2026 by zmylinxi99 Contributor Loading…
1
Bitwuzla-BV_Parti Submission for SMT-COMP 2026 submission Submissions for SMT-COMP
#268 opened May 27, 2026 by zmylinxi99 Contributor Loading…
1
z3-alpha2 first version submission submission Submissions for SMT-COMP
#267 opened May 27, 2026 by JohnLyu2 Contributor Loading…
1
submissions: add amaya solver submission Submissions for SMT-COMP
#266 opened May 26, 2026 by MichalHe Loading…
1
2026 submissions for COLIBRI and colibri2 submission Submissions for SMT-COMP
#265 opened May 26, 2026 by bobot Contributor Loading…
1 task
1
Roole 2026 submission submission Submissions for SMT-COMP
#264 opened May 26, 2026 by onderjan Loading…
5
OpenSMT (min-ucore) submission 2026 submission Submissions for SMT-COMP
#263 opened May 26, 2026 by Tomaqa Contributor Loading…
2
OpenSMT submission 2026 submission Submissions for SMT-COMP
#262 opened May 26, 2026 by Tomaqa Contributor Loading…
2
Z3-GEX submissions submission Submissions for SMT-COMP
#260 opened May 26, 2026 by b1uerar Loading…
1
Submission SMTInterpol 2026 submission Submissions for SMT-COMP
#259 opened May 26, 2026 by jhoenicke Member Loading…
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.