Beast code in Giters

Philipp Ruemmer's starred repositories

The Eldarica model checker

Language:ScalaNOASSERTION80 5 51

An SMT Solver for string constraints

Language:ScalaNOASSERTION33 4 43

The Princess Theorem Prover

Language:ScalaNOASSERTION21 5 8

TriCera: a model checker for C programs

Language:ScalaBSD-3-Clause18 5 9

A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.

Language:F#NOASSERTION1600

An SMT Solver for strings

Language:ScalaGPL-3.010 4 2

Constructing automata with SAT solvers

Language:JavaGPL-3.09 60

An approximating SMT solver

Language:ScalaGPL-3.08 6 3

A Princess theory for computing Parikh images of automata

Language:ScalaNOASSERTION5 4 40

An Optimizing Solver for Constrained Horn Clauses

Language:ScalaBSD-3-Clause3 40

Bounded Connection Tableaux

Language:ScalaGPL-3.02 30

A library for Bounded Rigid E-Unification

Language:Scala2 30

Language:ScalaCC0-1.01 10

Designed for UPDATE: Next-Generation Embedded Systems

Language:Ruby1 30