feat: add option for enforcing number of goroutines for the solver (#…

…1052) * feat: add NbThreads solver option * feat: use nbthreads from options * chore: go generate * refactor: rename NbThreads to NbTasks * feat: add upper bound of 512 for the number of tasks * test: add some parallel solver checks * test: reorder sleep in hint
Consensys · Feb 13, 2024 · 1cc2d6a · 1cc2d6a
1 parent bb3e48e
commit 1cc2d6a
Show file tree

Hide file tree

Showing 11 changed files with 198 additions and 62 deletions.
diff --git a/constraint/bls12-377/solver.go b/constraint/bls12-377/solver.go
diff --git a/constraint/bls12-381/solver.go b/constraint/bls12-381/solver.go
diff --git a/constraint/bls24-315/solver.go b/constraint/bls24-315/solver.go
diff --git a/constraint/bls24-317/solver.go b/constraint/bls24-317/solver.go
diff --git a/constraint/bn254/solver.go b/constraint/bn254/solver.go
diff --git a/constraint/bw6-633/solver.go b/constraint/bw6-633/solver.go