Correct least constraints value implementation - #1192

Merged

dmeoli merged 7 commits into

aimacode:masterfrom

dsaw:correct-lcv

Jun 26, 2026

Commits on Dec 26, 2018

Grammar and typo fixes in logic notebook
dsaw
committed
e9dd725

Commits on Apr 4, 2019

Merge pull request #6 from aimacode/master
dsaw
authored
6c2965f

Commits on Jun 7, 2020

Merge pull request #7 from aimacode/master
dsaw
authored
d3ba4dd

Commits on Jul 2, 2020

Modified least-constrained heuristic with correct implementation
dsaw
committed
f579719

Commits on Jul 5, 2020

Added test for count_lost_values & modified existing ones
dsaw
committed
063139e

Commits on Jun 26, 2026

Merge remote-tracking branch 'origin/master' into pr1192-work
dmeoli
committed
2f026a2
Implement least-constraining-value heuristic correctly
dmeoli
committed
7705716