SL-COMP 2019 Repository

Repository for SL-COMP'19, the 3rd edition of the competition of solvers for the theory of Separation Logic.

Content

bench : set of problems used, split in divisions
doc : documents related with the competition
input : input format description and SMT-lib definition
solvers : description and material for each participant
starexec : material required/returned by the execution platform StarExec
tools : software related with the competition, e.g., parsers, translators, etc.

See file CONTACT.md and visit competition's web site https://sl-comp.github.io