trolando/dfi-experiments trolando/dfi-experiments

  • Stars
    star
    1
  • Language
    Python
  • License
    Apache License 2.0
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trolando/dfi-experiments
github

trolando

Reviews

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

Repository Details

Experimental results accompanying the paper about Distraction Fixpoint Iteration

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

adventofcode

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

tbdd-fmcad2017

Python
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