 |
This repo is a hands-on collection for exploring problem-solving with constraint satisfaction, SAT, and simple AI with a dash of fun ✨ |
(The following projects are seperate)
-
Graph Coloring Solver
Translates graph coloring problems into DIMACS CNF and solves them using Gophersat -
Tic-Tac-Toe AI
Python implementation using the Minimax algorithm -
Mastermind Playable
Prolog implementation for human vs. machine play -
Sudoku Solver
Encodes puzzles in DIMACS CNF format and solves them using Gophersat -
Truth Table Generator
Python script that generates propositional logic truth tables from expressions -
UNICORN DIMACS
A .cnf DIMACS file with a unicorn related riddle because why not. Take a look if you want to try to solve it😁 PS: it's in french