yuuhikaze/ai
Watch
1
0
Fork
You've already forked ai
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
36 commits 1 branch 0 tags 294 KiB
  • Zig 92.4%
  • Prolog 5.3%
  • Nix 2.3%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
yuuhikaze 93d04edb5b refactor(n_tile): split monolith into src/ modules 
Break n_tile.zig into one module per concern under src/: core, parse,
print, node, expansion, search, heuristics, pdb, main, and tests.
Root module moves to src/main.zig in build.zig.

Docs: add layout section and fix flags table (trace -> trace_tui, add
trace_gui and ida_star_linear_conflict). Ignore viz/.
2026-09-29 13:07:50 -05:00
docs refactor(n_tile): split monolith into src/ modules 2026-09-29 13:07:50 -05:00
n_tile refactor(n_tile): split monolith into src/ modules 2026-09-29 13:07:50 -05:00
sudoku feat(sudoku): solve problem 2026-09-18 05:54:29 -05:00
.gitignore refactor(n_tile): split monolith into src/ modules 2026-09-29 13:07:50 -05:00
04_farmer.pl feat(farmer): solve problem 2026-09-16 12:04:26 -05:00
05_missionaries.pl feat(missionaries): solve problem 2026-09-16 12:04:38 -05:00
flake.lock feat(nix): add flake for reproducible Zig toolchain 2026-09-16 10:53:39 -05:00
flake.nix docs: generalize README 2026-09-20 09:43:34 -05:00
n_queens.zig feat(n_queens): solve problem 2026-09-17 11:42:45 -05:00
README.md docs: generalize README 2026-09-20 09:43:34 -05:00

README.md

Artificial Intelligence Coursework

Artificial intelligence coursework, solutions made in Zig and Prolog.

Environment

Don't have Zig or SWI-Prolog installed, or not sure they're the right versions? Run this from the repo root and a matching toolchain drops into your shell, nothing to install by hand:

nix develop

Homework 01

Problems

  • n-tile puzzle — sliding tiles solved with BFS, DFS, and A* (n_tile/)
  • Farmer, wolf, goat, and cabbage — 04_farmer.pl
  • Missionaries and cannibals — 05_missionaries.pl
  • Sudoku — CSP backtracking with MRV, LCV, and forward checking (sudoku/)