GipSAT A SAT solver specifically designed for the IC3 Algorithm. GipSAT provides both Rust interface (src/lib.rs) and C++ interface (cpp/gipsat.h). For FM2024 artifact, git checkout v1.0.0