3 ms·Yeah, Z3 is the first thing I'd try here, then maybe MiniZinc if that didn't pan out.by hwayne 4y agoYeah, Z3 is the first thing I'd try here, then maybe MiniZinc if that didn't pan out.