rjtobin / HanSim
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
- Framework for writing bots that play Hanabi.☆37Updated 5 years ago
- State of the art Hanabi bots + simulation framework in rust☆44Updated last year
- A list of Hanabi strategies☆165Updated last week
- deep learning for math☆29Updated 5 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- ☆43Updated 7 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- Repository for the Ludii AI Competition☆31Updated 2 years ago
- ☆18Updated 5 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- AIUR (Artificial Intelligence Using Randomness) is an AI for StarCraft: Brood War.☆19Updated 10 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 11 months ago
- Computer players for a collaborative card game☆25Updated 6 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- A tool to launch Starcraft: Brood War in "headless" mode, i.e. no graphics, sound or user input (useful with BWAPI).☆17Updated 3 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- 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 3 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Program Synthesis☆145Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆64Updated 10 months ago
- ☆40Updated 2 months ago
- Performant and safe knowledge compilation in rust☆27Updated 5 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year