minisat22

There are 0 repository under minisat22 topic.

• / Yashi-Game-SAT-Logic

  Solving the Yashi game using a combination of graph theory and SAT-solving. First, connectivity of the graph is verified, and if true, identification of all possible cycles is done. Then, after generating all necessary constraints, they are passed to a SAT solver.

  graph-theorysat-solvingyashi-gamedepth-first-searchminisat22
  Language:Python 1