Skip to content
Change the repository type filter

All

    Repositories list

    • opensmt

      Public
      The opensmt solver
      C++
      Other
      18776717Updated Nov 10, 2024Nov 10, 2024
    • golem

      Public
      Solver for Constrained Horn Clauses
      C++
      MIT License
      73461Updated Nov 9, 2024Nov 9, 2024
    • SMTS

      Public
      SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning
      JavaScript
      4700Updated Oct 29, 2024Oct 29, 2024
    • OpenSMT documentation
      TeX
      0000Updated Sep 13, 2024Sep 13, 2024
    • This repository contains Dockerfiles and Scripts that build and run the SMTS on aws infrastructure.
      Shell
      0000Updated Aug 29, 2024Aug 29, 2024
    • Repository for verification group's docker images
      Shell
      0000Updated Aug 18, 2024Aug 18, 2024
    • athena

      Public
      Validation framework for CHC models
      Shell
      MIT License
      0300Updated Aug 16, 2024Aug 16, 2024
    • ptplib

      Public
      Partition Tree Protocol Library
      C++
      0101Updated Apr 2, 2024Apr 2, 2024
    • Miscellaneous shared tools for debugging/profiling opensmt
      Shell
      MIT License
      2110Updated Feb 23, 2023Feb 23, 2023
    • upprover

      Public
      An SMT-based bounded model checker for C
      C
      Other
      1800Updated Nov 29, 2022Nov 29, 2022
    • SMT-LIB-benchmarks
      0000Updated Jul 7, 2022Jul 7, 2022
    • A checker for opensmt's unsatisfiability trails
      Python
      MIT License
      0000Updated Jun 29, 2022Jun 29, 2022
    • solc

      Public
      Solicitous, the CHC verifier for Solidity contracts
      C++
      GNU General Public License v3.0
      1300Updated May 30, 2020May 30, 2020