There are 0 repository under smt2 topic.
The Eldarica model checker
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
Explorations in Uniform Sampling of SMT2 Constraints