search

BANZZAAAIIII / IKT212_Akari_Prolog

0 stars 0 forks source link

Find logic solution to Akari #4

Open Anders-Espenes opened 2 years ago

Anders-Espenes commented 2 years ago

Find a method of using logical expressions to solve an Akari board. What expressions do we need? How to know if it is correct to place a light? How to check if a board is finished?

Write the first steps to solving these issues, and create new issues for implementing them afterwards.

Anders-Espenes commented 2 years ago

boolean satisfiability problem? SAT solver https://www.cs.ru.nl/bachelors-theses/2021/Bram_Pulles___1015194___Analysis_of_Akari.pdf