[submodule "solver"]
	path = solver
	url = https://github.com/francisol/SATGalaxy.git
