Repositories list

• golem

  Public
  Solver for Constrained Horn Clauses

  C++

  •

  MIT License

  •7•34•6•1•Updated Nov 13, 2024Nov 13, 2024

• opensmt

  Public
  The opensmt solver

  C++

  •

  Other

  •18•77•67•16•Updated Nov 12, 2024Nov 12, 2024

• SMTS

  Public
  SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning

  JavaScript

  •4•8•0•0•Updated Oct 29, 2024Oct 29, 2024

• opensmt-doc

  Public
  OpenSMT documentation

  TeX

  •0•0•0•0•Updated Sep 13, 2024Sep 13, 2024

• smts-smtcomp-aws

  Public
  This repository contains Dockerfiles and Scripts that build and run the SMTS on aws infrastructure.

  Shell

  •0•0•0•0•Updated Aug 29, 2024Aug 29, 2024

• verify-env

  Public
  Repository for verification group's docker images

  Shell

  •0•0•0•0•Updated Aug 18, 2024Aug 18, 2024

• athena

  Public
  Validation framework for CHC models

  Shell

  •

  MIT License

  •0•3•0•0•Updated Aug 16, 2024Aug 16, 2024

• ptplib

  Public
  Partition Tree Protocol Library

  C++

  •0•1•0•1•Updated Apr 2, 2024Apr 2, 2024

• opensmt-debugging

  Public
  Miscellaneous shared tools for debugging/profiling opensmt

  Shell

  •

  MIT License

  •2•1•1•0•Updated Feb 23, 2023Feb 23, 2023

• upprover

  Public
  An SMT-based bounded model checker for C

  C

  •

  Other

  •1•8•0•0•Updated Nov 29, 2022Nov 29, 2022

• SMT-LIB-benchmarks

  Public
  SMT-LIB-benchmarks

  0•0•0•0•Updated Jul 7, 2022Jul 7, 2022

• proof-checker

  Public
  A checker for opensmt's unsatisfiability trails

  Python

  •

  MIT License

  •0•0•0•0•Updated Jun 29, 2022Jun 29, 2022

• solc

  Public
  Solicitous, the CHC verifier for Solidity contracts

  C++

  •

  GNU General Public License v3.0

  •1•3•0•0•Updated May 30, 2020May 30, 2020