uuverifiers/lattice-optimiser uuverifiers/lattice-optimiser

  • Stars
    star
    1
  • Language
    Scala
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
uuverifiers/lattice-optimiser
github

uuverifiers

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Optimisation on lattices - work in progress

More Repositories

1

eldarica

The Eldarica model checker
Scala
80
star
2

ostrich

An SMT Solver for string constraints
Scala
33
star
3

princess

The Princess Theorem Prover
Scala
21
star
4

tricera

TriCera: a model checker for C programs
Scala
18
star
5

sloth

An SMT Solver for strings
Scala
9
star
6

autosat

Constructing automata with SAT solvers
Java
8
star
7

uppsat

An approximating SMT solver
Scala
7
star
8

optirica

An Optimizing Solver for Constrained Horn Clauses
Scala
2
star
9

breu

A library for Bounded Rigid E-Unification
Scala
1
star
10

update.github.io

Designed for UPDATE: Next-Generation Embedded Systems
Ruby
1
star
11

bct

Bounded Connection Tableaux
Scala
1
star
12

horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses
Scala
1
star