handle more goals in solve_ndisj (!294) · Merge requests · Iris / stdpp

Merged Ralf Jung requested to merge ralf/solve_ndisj into master 3 years ago

Status	Pipeline	Stages
Passed 00:05:09 3 years ago	more tests (by Robbert) #50632 294 778fe88c	Stage: build	Download artifacts No artifacts found
Passed 00:05:11 3 years ago	handle more goals in solve_ndisj #50631 294 b217790f	Stage: build	Download artifacts No artifacts found
Passed 00:04:58 3 years ago	handle more goals in solve_ndisj #50433 294 1fed5e85	Stage: build	Download artifacts No artifacts found
Passed 00:04:43 3 years ago	handle more goals in solve_ndisj #49985 294 68b6fda7	Stage: build	Download artifacts No artifacts found

handle more goals in solve_ndisj