Skip to content
#

ac3-algorithm

Here are 23 public repositories matching this topic...

An AI-powered Sudoku Solver & Benchmarker modeling Sudoku as a CSP. Implements Uninformed DFS, Informed AC-3 + MRV, Forward Checking, and Simulated Annealing with an interactive glassmorphic UI and multi-threaded Python backend.

  • Updated Jun 25, 2026
  • HTML

This is a homework about Formulating a game called "Magnet Puzzle" into CSP, then using Backtracking, Forward Checking to solve it. Various heuristics such as MRV, LCV, Arc consistency (AC3) is used to improve the searching performance. This homework is a part of many projects in a Fundamentals to AI course @ FUM.

  • Updated Jul 13, 2022
  • Java

Improve this page

Add a description, image, and links to the ac3-algorithm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ac3-algorithm topic, visit your repo's landing page and select "manage topics."

Learn more