trolando/tbdd-fmcad2017 trolando/tbdd-fmcad2017

  • Stars
    star
    1
  • Language
    Python
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trolando/tbdd-fmcad2017
github

trolando

Reviews

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

Repository Details

More Repositories

1

sylvan

Implementation of multi-core (binary) decision diagrams
C
66
star
2

lace

Lace - implementation of work-stealing in C
C++
34
star
3

oink

Oink, an implementation of modern parity game solvers
C++
31
star
4

knor

Knor, a symbolic synthesis tool for HOA parity automata
C++
3
star
5

dfi-experiments

Experimental results accompanying the paper about Distraction Fixpoint Iteration
Python
1
star
6

adventofcode

My Advent of Code solutions (in Java)
Java
1
star
7

oink-experiments

C++
1
star
8

Divine2

C++
1
star
9

Sims1Tools

The main tools I once developed for modding The Sims 1
1
star