Commit ee9c972f authored by Daniel Le Berre's avatar Daniel Le Berre

Allow nondeterministic behavior of the solver.

parent 4d8c5574
......@@ -53,7 +53,9 @@ public class ParityConstraintGenerator {
* constraints. This differs from the original paper, which uses numbers
* generated from <a href="">HotBits</a>.
private static final Random RANDOM = new Random(1234567890);
private static final Random RANDOM = System
.getProperty("NONDETERMINISTIC") == null ? new Random(123456789)
: new Random();
* The solver in which parity constraints are added.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment