Skip to content
  • Timo Teräs's avatar
    solver: additional backjumping scheme · 16b70566
    Timo Teräs authored
    Enabled when all attempts to satisfy a name failed, we know that we
    can ignore all decisions until we find a decision affecting the name
    we wanted to satisfy.
    16b70566