Beast code in Giters

Philipp Ruemmer's repositories

eldarica

The Eldarica model checker

Language:ScalaNOASSERTION78 6 47

ostrich

An SMT Solver for string constraints

Language:ScalaNOASSERTION30 4 43

princess

The Princess Theorem Prover

Language:ScalaNOASSERTION21 5 8

tricera

TriCera: a model checker for C programs

Language:ScalaBSD-3-Clause18 5 8

sloth

An SMT Solver for strings

Language:ScalaGPL-3.010 4 2

autosat

Constructing automata with SAT solvers

Language:JavaGPL-3.09 60

uppsat

An approximating SMT solver

Language:ScalaGPL-3.08 6 3

optirica

An Optimizing Solver for Constrained Horn Clauses

Language:ScalaBSD-3-Clause3 40

bct

Bounded Connection Tableaux

Language:ScalaGPL-3.02 30

breu

A library for Bounded Rigid E-Unification

Language:Scala2 30

eldarica.g8

Language:ScalaCC0-1.01 10

horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses

Language:ScalaBSD-2-Clause1 30

lattice-optimiser

Optimisation on lattices - work in progress

Language:ScalaGPL-3.01 40

update.github.io

Designed for UPDATE: Next-Generation Embedded Systems

Language:Ruby1 30

adhocsat

Abstract higher-order cd/mc-sat

BSD-2-Clause030

ecma-regex-parser

A BNFC grammar and parser for ECMAScript regular expressions

Language:ShellBSD-3-Clause030

scala-nd

A Scala library for expressing non-deterministic computations

Language:ScalaLGPL-2.1030

seq-solver

Language:ScalaBSD-3-Clause030