c-cube/sat-bench

Name: sat-bench