Elias Kuiter

icon indicating a website link elias-kuiter.de icon indicating an email [email protected]

icon company University of Magdeburg icon location Magdeburg, Germany icon location Software engineering researcher at @DB-SE

Results 2 issues of Elias Kuiter

correct GitHub link in README.md

1 comment

The old Github link causes the user to download an old version of gumbo-query. Instead it should match the new repository.

kclause_to_dimacs.py does not create a correct CNF

14 comment

Hi Paul, working on my ASE paper from last year, I kind of found (but forgot to look into and report) the following problem in `scripts/kclause_to_dimacs.py`. Now, for a new...

bug
high priority