SAT and ASP Binairo Puzzle solver
-
Updated
Feb 26, 2022 - Python
SAT and ASP Binairo Puzzle solver
SAT-solver-based takuzu solver
Artificial Inteligence - LEIC @ IST 2021/2022. Project by Miguel Eleutério and Raquel Cardoso.
A solver using backtracking for grid-based number puzzles (such as Sudoku, Takuzu, etc.) with CLI and GUI versions.
This repository host a fully functional Takuzu game with a graphical user interface.
A solver for grid-based number puzzles (such as Sudoku, Kakuro, Str8ts, Killer Sudoku, Takuzu, …) with CLI and GUI versions.
a game inspired by http://www.20minutes.fr/services/takuzu
An in-browser binary Sudoku game.
Golang takuzu library [Mirror]
A program that solves the Takuzu problem using A.I. search techniques in Python 3.8 as a project for the Artificial Intelligence course (LEIC-A @ IST 21/22)
French JS implementation of the puzzle game Takuzu, or Binairo. Made for Les Trophées NSI of 2023.
Beautiful puzzle game with simple rules
Add a description, image, and links to the takuzu topic page so that developers can more easily learn about it.
To associate your repository with the takuzu topic, visit your repo's landing page and select "manage topics."