GitHub repository: msoeken/header-only-sat
Primary language: Shell
Created: 2018-10-08T12:35:18Z
Description: Some scripts to generate header-only versions of C++ SAT solvers