Pinned Loading

1. sosy-lab/sv-benchmarks sosy-lab/sv-benchmarks Public archive

   Collection of Verification Tasks (MOVED, please follow the link)

   184 169

2. sosy-lab/benchexec sosy-lab/benchexec Public

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python 260 212

3. sosy-lab/java-smt sosy-lab/java-smt Public

   JavaSMT - Unified Java API for SMT solvers.

   Java 226 52

4. sosy-lab/java-common-lib sosy-lab/java-common-lib Public

   SoSy-Lab Java Common Library

   Java 12 12

5. borisveytsman/acmart borisveytsman/acmart Public

   ACM consolidated LaTeX styles

   TeX 658 258