GitHub topics: smt2
uuverifiers/eldarica
The Eldarica model checker
Language: Scala - Size: 53.6 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 83 - Forks: 25
se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Language: TypeScript - Size: 103 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 11 - Forks: 3
ViRb3/z3-wasm 📦
Run Z3 entirely in your browser using WebAssembly
Language: JavaScript - Size: 14 MB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 4
bruderj15/Hasmtlib
A monad for interfacing with external SMT solvers
Language: Haskell - Size: 563 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 13 - Forks: 1
salarkalan/Specs-Analysis
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
Language: Java - Size: 29.7 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
c-cube/smtlib-utils
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
Language: SMT - Size: 3.62 MB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 4
haskell-github-trust/smt2-parser
Parse smt2 in Haskell
Language: Haskell - Size: 78.1 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
alwilson/smt2_rand_sampler
Explorations in Uniform Sampling of SMT2 Constraints
Language: Python - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
vVladyslaVv/VUT-FIT-IZLO-project-2
VUT FIT v Brne IZLO project 2
Language: SMT - Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Columpio/SMTLIB2
SMTLIB2 bindings for FSharp
Language: C# - Size: 234 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
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: OCaml - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
PatrickTrentin88/wcet_omt
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory
Language: Shell - Size: 481 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
