gipsyh/rIC3

**Brief Summary (2‑3 sentences)** gipsyh/rIC3 is an open‑source Rust library that augments hardware formal verification with LLM‑driven assistance, letting engi