trolando/Divine2 trolando/Divine2

  • Stars
    star
    1
  • Language
    C++
  • License
    Other
  • Created about 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trolando/Divine2
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

tbdd-fmcad2017

Python
1
star
8

oink-experiments

C++
1
star
9

Sims1Tools

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