13 ms·
Maybe you could use an SMT solver like Z3. It lets you write formulas constraining the values of bit arrays and numeric variables and then produce counterexampl
by csb6 4y ago
Maybe you could use an SMT solver like Z3. It lets you write formulas constraining the values of bit arrays and numeric variables and then produce counterexamples if the constraints are inconsistent.
- hwayne 4y agoYeah, Z3 is the first thing I'd try here, then maybe MiniZinc if that didn't pan out.