https://github.com/konn/haskari

A simple Akari (美術館) solver written in Haskell (with some heuristics + Ersatz)
https://github.com/konn/haskari

Last synced: 2 months ago
JSON representation

A simple Akari (美術館) solver written in Haskell (with some heuristics + Ersatz)

• Host: GitHub
• URL: https://github.com/konn/haskari
• Owner: konn
• License: bsd-3-clause
• Created: 2020-01-03T05:14:24.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-01-04T10:16:25.000Z (over 5 years ago)
• Last Synced: 2025-01-23T17:20:47.196Z (4 months ago)
• Language: Haskell
• Homepage:
• Size: 49.8 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# haskari - Simple [Akari] solver in Haskell

A simple SAT-based [Akari] (a.k.a. Light Up, or 美術館) solver, augmented with some heuristics, written in Haskell.

[Akari]: http://www.nikoli.co.jp/en/puzzles/akari.html

## Requirement(s)

- cryptominisat5