ParentFull threadronanyeah·- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASMView on HN