GitHub repository: Gbury/sat-bench
Primary language: OCaml
Created: 2017-05-09T15:32:50Z
Description: A small repo to test and benchmark different sat solvers