5 Commits

Author	SHA1	Message	Date
Ettore Di Giacinto	5b5735266a	Calculate provides for parallel solver too	2020-11-05 21:00:24 +01:00
Ettore Di Giacinto	f6a4b634c1	Don't always walk all World() packages ... With this change the solver during install now considers only the part of the tree which is required to calculate the solution, it doesn't consider anymore World() as the search space. The search space now is narrowed down to the packages that related to the one which we are considering. In this subset of changes we are also optimizing the Parallel solver avoiding an useless loop. This change boost overall performance on large datasets which don't necessarly have relations touching the whole tree.	2020-10-30 19:12:12 +01:00
Ettore Di Giacinto	9f1a182eee	Add tests and various fixes to parallel implementation	2020-10-29 16:32:13 +01:00
Ettore Di Giacinto	9a7d92b02e	Make the parallel solver completely parallel in building formulas from dataset	2020-10-29 16:32:13 +01:00
Ettore Di Giacinto	c5ed36b2bd	Sketch concourrent solver when building formulas	2020-10-29 16:32:13 +01:00