Pinned Loading

1. MCTS-board-games MCTS-board-games Public

   Python

2. MCTS-with-NN MCTS-with-NN Public

   Monte Carlo tree search w/ Neural Net critic

   Python

3. RL-for-Peg-Solitaire RL-for-Peg-Solitaire Public

   Java

4. Sudoku-solver Sudoku-solver Public

   Solving Sudoku boards using a general CSP approach, specifically using backtracking search and the AC-3 algorithm

   Python

5. CoqGym CoqGym Public

   Forked from princeton-vl/CoqGym

   A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq