First ideas for constraint solving