Q3B 1.0

This is the first stable version of Q3B. Among the news are increased stability, performance, support for SMT-LIB standard, or support for model-generation.

SMT-COMP 2018 Version

This is the version of Q3B submitted to the SMT Competition 2018.

The competition version was run with the following options:

-A -m both -l -c -r sift --propagate-unconstrained

ICTAC 2018

This is the version of Q3B that was used for evaluation in the paper submitted to ICTAC 2018.

SMT-COMP 2017 Version

This is the version of Q3B submitted to the SMT Competition 2017.