Starred Repositories

• UnitTestBot / usvm

  Star

  Universal Symbolic Virtual Machine

  Kotlin 19 17 Starred Apr 1, 2024

• Columpio / RInGen

  Star

  Regular Invariant Generator and SMTLIB2 code transformer

  SMT 12 2 Starred Mar 11, 2024

• UnitTestBot / jacodb

  Star

  fast and effective way to access and analyze java bytecode

  Kotlin 20 11 Starred Sep 18, 2023

• martin-cs / symfpu

  Star

  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

  C++ 38 20 Starred Jan 19, 2023

• bitwuzla / bitwuzla

  Star

  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

  SMT 198 30 Starred Dec 30, 2022

• UnitTestBot / ksmt

  Star

  Kotlin/Java API for various SMT solvers

  Kotlin 28 13 Starred Dec 7, 2022

• VSharp-team / VSharp

  Star

  Symbolic execution engine for .NET Core

  C++ 50 32 Starred Nov 24, 2022

• korifey / kobdd

  Star

  Pure Kotlin high performance implementation of Binary Decision Diagrams

  Kotlin 3 Starred Jul 13, 2021

• grigoryfedyukovich / aeval

  Star

  AE-solver and Skolemizer

  SMT 16 129 Starred Feb 21, 2019

• JetBrains / resharper-fsharp

  Star

  F# support in JetBrains Rider

  F# 328 53 Starred May 30, 2018

Starred Topics