This repository was archived by the owner on Jul 17, 2024. It is now read-only.

fix: Use daemon threads for SolverManager #29

Job	Run time
sonarcloud-analysis	9m 3s
	9m 3s

Provide feedback