Max Heisinger
Results
1
repositories owned by
Max Heisinger
Paracooba
16
Stars
3
Forks
Watchers
Distributed and ressource elastic cube-and-conquer SAT & QBF solver
