Header-only SAT These scripts help to create a single header file for a SAT solver to be used in a C++ project. So far, there is only a single script for Glucose 4.1. Usage glucose.sh # generates glucose.hpp based on Glucose 4.1