Search results

[webpage] Add dedicated information page for solvers

Status: Open.

#210 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

Address TODO related to result filtering

Status: Open.

#209 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

Make competition-wide recognitions robust against non-competitive solvers and divisions

Status: Open.

#208 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

[refactor] Support derived solver in Submissions

Status: Open.

#207 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

CI <code>test_script.py</code> does nothing

Status: Open.

#194 In SMT-COMP/smt-comp.github.io;

· Tomaqa opened on Jun 23, 2025

CI check for system description

Status: Open.

#190 In SMT-COMP/smt-comp.github.io;

· dde-cls opened on Jun 16, 2025

Use json5 parser for submission

enhancementNew feature or requestNew feature or request

Status: Open.

#77 In SMT-COMP/smt-comp.github.io;

· bobot opened on Jun 4, 2024

<code>make install</code> hangs

Status: Open.

#62 In SMT-COMP/smt-comp.github.io;

· Tomaqa opened on May 27, 2024

Unable to open the PDF of slides in SMT comp 2023

Status: Open.

#34 In SMT-COMP/smt-comp.github.io;

· DouglasLee001 opened on Oct 26, 2023