GitHub repository: semiexp/logic-pad-solver
Primary language: Rust
Description: A solver for [Logic Pad](https://logic-pad.com) based on cspuz