GitHub repository: m1010j/sat-zoo
Primary language: JavaScript
Created: 2018-03-17T06:18:15Z
Description: Benchmarks for Boolean satisfiability