smt2

There are 12 repositories under smt2 topic.

uuverifiers/eldarica
The Eldarica model checker
Language:Scala82 5 5623
bruderj15/Hasmtlib
A monad for interfacing with external SMT solvers
Language:Haskell13 1 421
se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Language:TypeScript9 2 72
ViRb3/z3-wasm
Run Z3 entirely in your browser using WebAssembly
Language:JavaScript6 2 24
c-cube/smtlib-utils
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
Language:SMT5 4 03
baptiste-fourmont/synthese-invariant
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
Language:OCaml2 1 00
PatrickTrentin88/wcet_omt
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory
Language:Shell2 2 20
haskell-github-trust/smt2-parser
Parse smt2 in Haskell
Language:Haskell1 2 11
Columpio/SMTLIB2
SMTLIB2 bindings for FSharp
Language:C#0 0 11
salarkalan/Specs-Analysis
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
Language:Java0 1 00
vVladyslaVv/VUT-FIT-IZLO-project-2
VUT FIT v Brne IZLO project 2
Language:SMT0 1 00
alwilson/smt2_rand_sampler
Explorations in Uniform Sampling of SMT2 Constraints
Language:Python2 0