let solverstate : state list ref = ref [ ]