The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competing | yes |
Single Query Track | QF_NRA |
Incremental Track | |
Challenge Track (non-incremental) | |
Challenge Track (incremental) | |
Unsat Core Track | |
Model Validation Track (experimental) | |
Preliminary ID | 23328 |
Final ID | 23434 |
Seed | |
System Description | SMT-RAT |
Variant of Submission ID | |
Derived from Solver | |
Wrapped Solvers | |
Website | https://github.com/smtrat/smtrat/wiki |
Team Members | Gereon Kremer |