We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
36a4dd7
A SAT solver specifically designed for the IC3 Algorithm.
GipSAT provides both Rust interface (src/lib.rs) and C++ interface (cpp/gipsat.h).
