trolando/knor trolando/knor

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trolando/knor
github

trolando

Reviews

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

Repository Details

Knor, a symbolic synthesis tool for HOA parity automata

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

dfi-experiments

Experimental results accompanying the paper about Distraction Fixpoint Iteration
Python
1
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