The Glucose SAT solver be used with the RustSAT library.
The version of Glucose in this crate is Version 4.2.1. The used C++ source repository can be found here.