Aries

feat(solver): Make sure search always let the solver in a fully propa… #499

Job	Run time
Solving	2m 44s
Build - ${{ matrix.os }} - ${{ matrix.target }}	0s
IPC Tests	6m 50s
Rustfmt and Clippy	51s
Unified Planning API	1m 20s
Unit tests	1m 43s
UP Integration Tests	3m 39s
Python Package (up_aries)	0s
tests	1s
Pre Release	0s
Release	0s
	17m 8s

Provide feedback