Skip to content

Correct least constraints value implementation#1192

Merged
dmeoli merged 7 commits into
aimacode:masterfrom
dsaw:correct-lcv
Jun 26, 2026
Merged

Correct least constraints value implementation#1192
dmeoli merged 7 commits into
aimacode:masterfrom
dsaw:correct-lcv

Implement least-constraining-value heuristic correctly

7705716
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
test (3.9)
succeeded Jun 26, 2026 in 5m 56s