5 ms·
- The SAT solver is implemented using the Rust crate `varisat` - The Rust program is provided to the webapp as WASM
by ronanyeah 1y ago
- The SAT solver is implemented using the Rust crate `varisat`
- The Rust program is provided to the webapp as WASM