rumba
MBA simplifier
Rumba is an algebraic Mixed Boolean-Arithmetic solver.
It compiles to WebAssembly and runs entirely in this tab.
variables: v0, v1, …
bits
loading…
Result