GitHub repository: peqnpscience/hess
Created: 2018-08-04T23:04:28Z
Description: HESS: Hyper Exponential Space Sorting SAT Solver - Benchmarks