Skip to content

aehyvari/smt-comp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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