A CatSAT implementation for the browser 🦇
Extensible SAT solver in Rust
Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust
A Rust library implementing the ASPIC+ framework for structured argumentation