refactorisation de solver par la creation de plusieurs classes .

Mais lors de la compilation, il semble que le compilateur ne retrouve pas la classe Constraint

Ça fonctionne il fallait juste ... compiler