/matrix-challenges

Challenging SAT benchmarks for matrix multiplication

Primary LanguageC

Watchers