Skip to content

@SMT-COMP SMT-COMP

Change the repository type filter

All

    Repositories list

    7 repositories

    • smt-comp.github.io

      Public
      HTML
      •
      MIT License
      •34•10•10•6•Updated Apr 14, 2026Apr 14, 2026

    • smt-comp

      Public
      Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
      TeX
      •7•33•1•1•Updated Apr 11, 2026Apr 11, 2026

    • trace-executor

      Public
      A simple SMT-LIB v2 trace executor.
      SMT
      •
      Other
      •3•0•0•0•Updated Jun 12, 2024Jun 12, 2024

    • postprocessors

      Public
      Postprocessors for SMT-COMP tracks.
      SMT
      •2•1•0•1•Updated Dec 9, 2023Dec 9, 2023

    • dolmen

      Public
      An OCaml library providing clean and flexible parser for languages used in automated deduction
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •21•0•0•0•Updated Jun 25, 2023Jun 25, 2023

    • scrambler

      Public
      A simple scrambler for SMT-LIB 2.6 scripts.
      C++
      •
      Other
      •8•7•0•1•Updated May 14, 2023May 14, 2023

    • pysmt

      Public
      pySMT: A library for SMT formulae manipulation and solving
      Python
      •
      Apache License 2.0
      •148•2•0•0•Updated May 31, 2022May 31, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.