bonsat
cargoA bounded-memory SAT/SMT solver for microcontrollers: Z3-compatible outside via an SMT-LIB2 subset, running on 512KB-class MCUs inside.
Audits
No audits for this package yet.
A bounded-memory SAT/SMT solver for microcontrollers: Z3-compatible outside via an SMT-LIB2 subset, running on 512KB-class MCUs inside.