let
solverstate : state list ref = ref [ ]