Open janper opened 3 years ago
each attempt in a separate thread until solution found
warning: the solver becomes non-deterministic!
each attempt in a separate thread until solution found
warning: the solver becomes non-deterministic!