rjtobin / HanSimLinks
A simulator for strategies of a well-known cooperative card game.
☆15Updated 9 years ago
Alternatives and similar repositories for HanSim
Users that are interested in HanSim are comparing it to the libraries listed below
Sorting:
- Framework for writing bots that play Hanabi.☆37Updated 6 years ago
- State of the art Hanabi bots + simulation framework in rust☆45Updated last year
- A list of Hanabi strategies☆174Updated last week
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆46Updated 5 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆84Updated 2 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆196Updated last week
- Source code of the MaastCTS2 agent for General Video Game playing. Champion of the 2016 GVG-AI Single-Player Track, and runner-up of the …☆14Updated 4 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆413Updated 2 years ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆286Updated 6 years ago
- ☆13Updated 3 years ago
- Program Synthesis☆145Updated 4 years ago
- gui for board game hex (and Y) by broderick arneson☆15Updated last year
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆204Updated this week
- StarCraft: Brood War AI in Scala☆105Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- Interactive neural theorem proving in Lean☆130Updated 3 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago
- ☆81Updated 4 years ago
- Lingeling SAT Solver☆105Updated last year
- The formal proof of the Kepler conjecture☆163Updated last year
- CNF generator in DIMACS format. It produces common families of CNFs.☆69Updated 2 months ago
- deep learning for math☆28Updated 6 years ago
- ☆42Updated 8 years ago
- UCThello - a board game demonstrator (Othello variant) with computer AI using Monte Carlo Tree Search (MCTS) with UCB (Upper Confidence B…☆25Updated 5 months ago
- ☆109Updated 3 years ago
- A code generation dataset for generating the code that implements Hearthstone and Magic The Gathering card effects.☆244Updated 7 years ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆138Updated 7 years ago