diff --git a/README.md b/README.md index 22ad91c..4c4d7e1 100644 --- a/README.md +++ b/README.md @@ -27,6 +27,7 @@ declared in this file. ```toml parameters = ["time", "time_ms", "solvetime", "solvetime_ms", "status"] +processes = 2 [solvers.flatzinc] binary = "flatzinc"