[Feature] replace solver kernel from claspy to clingo - Githubissues

T0nyX1ang / noqx

Extended logic puzzle solver of noq.

https://noqx.tonyxiang.site/

Apache License 2.0

5 stars 0 forks source link

[Feature] replace solver kernel from claspy to clingo #2

Closed T0nyX1ang closed 8 months ago

T0nyX1ang commented 10 months ago

Currently transformed solver(s):

Shading

[x] Aqre
[x] Aquarium
[x] Binairo
[x] Cave
[x] Canal View (new!)
[x] Chocona
[x] Heyawake
[x] Hitori
[x] Kuromasu
[x] Kurotto
[x] LITS
[x] Nonogram
[x] Norinori
[x] Nuribou
[x] Nurikabe
[x] Nurimisaki
[x] Shakashaka
[x] Shimaguni
[x] Stostone
[x] Tapa
[x] Tasquare (new!)
[x] Yajisan-Kazusan
[x] Yin-Yang

Region Division

[x] Heteromino
[x] N Cells
[x] Shikaku
[x] Spiral Galaxies
[x] Tatamibari

Loop / Path

[x] Balance Loop
[x] Castle Wall
[x] Country Road
[x] Haisu
[x] Hashi
[x] Hotaru Beam
[x] Masyu
[x] Moon-or-Sun
[x] Nagare
[x] Numberlink
[x] Onsen
[x] Slitherlink
[x] Tapa-Like Loop
[x] Yajilin

Number Placement

[x] Fillomino
[x] Kakuro
[x] Nanro
[x] Ripple Effect

Object Placement

[x] Akari
[x] Battleship
[x] Gokigen
[x] Magnets
[x] Minesweeper
[x] Star Battle
[x] Statue Park
[x] Tents

Latin Square

[x] Doppelblock
[x] Easy As
[x] Skyscrapers
[x] Sudoku

T0nyX1ang commented 8 months ago

All tasks are done now, we are going to merge the dev branch after optimizing the haisu solver.