added map coloring SAT problem - #1092

Merged

antmarakis merged 23 commits into

aimacode:masterfrom

Jul 29, 2019

Commits on Mar 24, 2019

changed queue to set in AC3
dmeoli
committed
fe514c6

Commits on Mar 28, 2019

re-added test commented by mistake
dmeoli
committed
0129aa9

Commits on Jun 17, 2019

added map coloring SAT problems
dmeoli
committed
9e0fa55
fixed typo errors and removed unnecessary brackets
dmeoli
committed
f743146

Commits on Jul 4, 2019

reformulated the map coloring problem
dmeoli
committed
20ab0e5
Revert "reformulated the map coloring problem"
dmeoli
committed
404b179
Revert "fixed typo errors and removed unnecessary brackets"
dmeoli
committed
c9c5106
Revert "added map coloring SAT problems"
dmeoli
committed
3243ba1
Revert "removed useless doctest for AC4 in Sudoku because AC4's tests are already present in test_csp.py"
dmeoli
committed
2af1659
Revert "added doctest in Sudoku for AC4 and and the possibility of choosing the constant propagation algorithm in mac inference"
dmeoli
committed
0c7e5af
Revert "added the mentioned AC4 algorithm for constraint propagation"
dmeoli
committed
ff8c411
added map coloring SAT problem
dmeoli
committed
93af259
Merge remote-tracking branch 'upstream/master'
dmeoli
committed
002a34e
fixed build error
dmeoli
committed
6641c2c

Commits on Jul 29, 2019

Revert "added map coloring SAT problem"
dmeoli
committed
9399dfc
Revert "fixed build error"
dmeoli
committed
e130909
Merge remote-tracking branch 'upstream/master'
dmeoli
committed
78bdeb1
added map coloring SAT problem
dmeoli
committed
2f62776
removed redundant parentheses
dmeoli
committed
aaea704