Repository navigation

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

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