marijnheule / matrix-challenges

Challenging SAT benchmarks for matrix multiplication

Geek Repo

Github PK Tool