Is the solver still running?

A running solver has not yet exhausted all the possible solutions.

Property definitions

ai $ BacktrackSolver :: is_running
	# Is the solver still running?
	# A running solver has not yet exhausted all the possible solutions.
	var is_running = true
lib/ai/backtrack.nit:133,2--135,22