/Rush_Hour_SATsolver

This repo is my assignment work for CS228, logic for CS. This is a code for sat solver for the famous grid game Rush Hour.

Primary LanguagePython

Stargazers

No one’s star this repository yet.