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

Commits on Apr 4, 2019

Merge pull request #6 from aimacode/master
dsaw
authored

Commits on Jun 7, 2020

Merge pull request #7 from aimacode/master
dsaw
authored

Commits on Jul 2, 2020

Modified least-constrained heuristic with correct implementation
dsaw
committed

Commits on Jul 5, 2020

Added test for count_lost_values & modified existing ones
dsaw
committed

Commits on Jun 26, 2026