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.
glucose.sh # generates glucose.hpp based on Glucose 4.1-
Notifications
You must be signed in to change notification settings - Fork 0
msoeken/header-only-sat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Some scripts to generate header-only versions of C++ SAT solvers
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published