Skip to content

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

New pull request New
Clear current search query, filters, and sorts
28 Open 159 Closed
28 Open 159 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

Bitwuzla 2025 submission. submission Submissions for SMT-COMP
#185 opened Jun 13, 2025 by mpreiner Loading… updated Jun 28, 2025
4
SMTS submission 2025 submission Submissions for SMT-COMP
#172 opened Jun 12, 2025 by Tomaqa Loading… updated Jun 27, 2025
5
SMTInterpol submission 2025 submission Submissions for SMT-COMP
#168 opened Jun 10, 2025 by jhoenicke Loading… updated Jun 27, 2025
7
SMT-RAT submission submission Submissions for SMT-COMP
#164 opened Jun 6, 2025 by ValentinPromies Loading… updated Jun 27, 2025
2
Bitwuzla-MachBV Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#171 opened Jun 11, 2025 by Andeviking Loading… updated Jun 27, 2025
4
Create iProver submission Submissions for SMT-COMP
#182 opened Jun 13, 2025 by konstantin-korovin Loading… updated Jun 27, 2025
8
Z3-Parti-Z3++ Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#170 opened Jun 11, 2025 by zmylinxi99 Loading… updated Jun 27, 2025
5
STP-Parti-Bitwuzla Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#169 opened Jun 11, 2025 by zmylinxi99 Loading… updated Jun 27, 2025
4
Z3-Noodler-Mocha Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#178 opened Jun 13, 2025 by Bazoka13 Loading… updated Jun 27, 2025
3
Yices2 Submission SMTCOMP 2025 submission Submissions for SMT-COMP
#184 opened Jun 13, 2025 by ahmed-irfan Loading… updated Jun 26, 2025
5
Z3-alpha SMT-COMP 2025 submission Submissions for SMT-COMP
#179 opened Jun 13, 2025 by JohnLyu2 Loading… updated Jun 26, 2025
5
COLIBRI submission submission Submissions for SMT-COMP
#163 opened Jun 5, 2025 by christophejunke Loading… updated Jun 26, 2025
3
OSTRICH version 2 submission Submissions for SMT-COMP
#187 opened Jun 14, 2025 by pruemmer Loading… updated Jun 26, 2025
2
bv_decide submission 2025 submission Submissions for SMT-COMP
#177 opened Jun 13, 2025 by abdoo8080 Loading… updated Jun 25, 2025
3
UltimateEliminator submission 2025 submission Submissions for SMT-COMP
#189 opened Jun 14, 2025 by Heizmann Loading… updated Jun 25, 2025
3
Z3-Siri Submission 2025 submission Submissions for SMT-COMP
#188 opened Jun 14, 2025 by Wang-hn Loading… updated Jun 25, 2025
3
Z3-Owl Submission 2025 submission Submissions for SMT-COMP
#181 opened Jun 13, 2025 by Zahrinas Loading… updated Jun 25, 2025
3
upload z3-inc-z3++ submission Submissions for SMT-COMP
#156 opened May 27, 2025 by DouglasLee001 Loading… updated Jun 25, 2025
2
yicesQS submission to the 2025 SMT comp submission Submissions for SMT-COMP
#186 opened Jun 13, 2025 by disteph Loading… updated Jun 25, 2025
6
Z3-Noodler submission 2025 submission Submissions for SMT-COMP
#175 opened Jun 12, 2025 by jurajsic Loading… updated Jun 25, 2025
3
OpenSMT submission 2025 submission Submissions for SMT-COMP
#167 opened Jun 10, 2025 by Tomaqa Loading… updated Jun 25, 2025
5
OpenSMT (min-ucore) submission 2025 submission Submissions for SMT-COMP
#176 opened Jun 12, 2025 by Tomaqa Loading… updated Jun 25, 2025
3
cvc5 for SMT-COMP 2025 submission Submissions for SMT-COMP
#183 opened Jun 13, 2025 by hansjoergschurr Loading… updated Jun 25, 2025
2
[Submission] colibri2 submission Submissions for SMT-COMP
#162 opened Jun 2, 2025 by bobot Loading… updated Jun 25, 2025
3
Amaya 2025 submission Submissions for SMT-COMP
#165 opened Jun 9, 2025 by ondrik Loading… updated Jun 25, 2025
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.