Played Challenges
Modernise code - 1410 entries
Modernise and clean up some C++ code.
- Best score: 34
- Best player score: 34
- Position: #68 / 326
- Number of attempts: 5
Bernhard Gstrein
Twitter2:
I am a PhD student at the University of Freiburg. I do research in the intersection of SAT solving, hardware synthesis, and machine learning.