Skip to content
Change the repository type filter

All

    Repositories list

    • golem

      Public
      Solver for Constrained Horn Clauses
      C++
      MIT License
      751122Updated Mar 26, 2026Mar 26, 2026
    • spexplain

      Public
      C++
      Other
      0272Updated Mar 25, 2026Mar 25, 2026
    • SMTS

      Public
      SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning
      Python
      4910Updated Feb 17, 2026Feb 17, 2026
    • pychc

      Public
      A library for certified CHC solving
      SMT
      Apache License 2.0
      0001Updated Feb 4, 2026Feb 4, 2026
    • opensmt

      Public
      The opensmt solver
      C++
      Other
      19958225Updated Jan 13, 2026Jan 13, 2026
    • SolTG

      Public
      Python
      0010Updated Sep 5, 2025Sep 5, 2025
    • Automated CHC-based test generator for Solidity
      C++
      Other
      0000Updated Jul 4, 2025Jul 4, 2025
    • OpenSMT documentation
      TeX
      0000Updated Jun 10, 2025Jun 10, 2025
    • athena

      Public
      Validation framework for CHC models
      Shell
      MIT License
      0300Updated May 16, 2025May 16, 2025
    • ptplib

      Public
      Partition Tree Protocol Library
      C++
      0101Updated Apr 3, 2025Apr 3, 2025
    • 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
    • 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
      1600Updated May 30, 2020May 30, 2020
    ProTip! Don't forget that you can create saved views to keep track of your most important repositories!