This source tree contains files and tools for SMT-COMP, the
International Satisfiability Modulo Theories Competition.
See the web pages hosted here for more information.

rules       - contains LaTeX sources for the competition rules

smtcomp-web - contains all of the public web pages

tools       - contains some development tools

[YEAR]      - contains files specific to that year that are not published
              on the web site; e.g., source files for the competition
              presentation at the SMT Workshop, or source files for a
              competition report