https://github.com/floriancassayre/everydaysat

Solving some puzzles with Cafesat.
https://github.com/floriancassayre/everydaysat

boolean-formulas sat sat-solver scala

Last synced: 12 days ago
JSON representation

Solving some puzzles with Cafesat.

• Host: GitHub
• URL: https://github.com/floriancassayre/everydaysat
• Owner: FlorianCassayre
• License: mit
• Created: 2018-04-26T21:46:33.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-05-03T19:33:34.000Z (about 7 years ago)
• Last Synced: 2025-05-10T12:13:41.391Z (15 days ago)
• Topics: boolean-formulas, sat, sat-solver, scala
• Language: Scala
• Homepage:
• Size: 479 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
Everyday Sat

===

My ultimate revenge to the naughty puzzles I couldn't solve as a child.

## How?

This repository uses [Cafesat](https://github.com/regb/cafesat), a SAT solver written in Scala.

Given a (complex) boolean equation, it tries to find a solution that _**sat**isfies_ it.

Most logic based puzzles can be translated to boolean logic and solved this way, as long as the instance size is reasonable.

## Puzzles

- Kemaru

- [Nonogram](https://en.wikipedia.org/wiki/Nonogram)

- [Sudoku](https://en.wikipedia.org/wiki/Sudoku)

- [Takuzu](https://en.wikipedia.org/wiki/Takuzu)