• Timo Teräs's avatar
    solver: fix backtracking · 012bcbe4
    Timo Teräs authored
    We need to refresh all name states after backtracking as options
    that were excluding due to topology ordering might have become
    available.
    012bcbe4
solver.c 33.8 KB