The International Satisfiability Modulo Theories (SMT) Competition.
Competing | no |
Single Query Track | |
Preliminary ID | |
Final ID | 19793 |
Seed | |
System Description | CVC4 at the SMT Competition 2018 |
Variant of Submission ID | |
Derived from Solver | |
Wrapped Solvers | |
Website | |
Team Members | |
Contact |