- Connect 4 (c4): A MCTS based AI agent which can play connect four. It is quite strong. Click here to get started.
- Dancing Link (dlink): An advanced data structure implementing backtracking algorithms, for the exact cover problem (XC).
- SAT Solver (sat): Few algorithms which aim to solve the Boolean satisfiability problem (SAT).
-
Notifications
You must be signed in to change notification settings - Fork 0
xiejw/z
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|