Guichard Amaury (RevenMyst)

RevenMyst

Geek Repo

Location:France

Twitter:@AmauryGuichard

Github PK Tool:Github PK Tool

Guichard Amaury's repositories

Language:Common LispStargazers:1Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:1Issues:5
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

SATMineSweeper

Solving a generalization of MineSweeper with a SAT Solver, IA02 project

Language:PythonStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0