SiMBA

SiMBA SiMBA is a tool for the simplification of linear mixed Boolean-arithmetic expressions MBAs. Like MBA-Blast and MBA-Solver, it uses a fully algebraic approach based on the idea that a linear MBA is fully determined by its values on the set of zeros and ones, but leveraging the new insights...