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.☆36Updated 5 years ago
- State of the art Hanabi bots + simulation framework in rust☆45Updated last year
- A list of Hanabi strategies☆165Updated 2 weeks ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆186Updated last month
- ☆43Updated 7 years ago
- VGDL 2.0: A video game description language for AI research☆62Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 9 months ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Program Synthesis☆145Updated 4 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- ☆43Updated 2 years ago
- deep learning for math☆29Updated 5 years ago
- ☆13Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Computer players for a collaborative card game☆25Updated 6 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆81Updated 2 years ago
- StarCraft: Brood War AI in Scala☆102Updated 6 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- Performant and safe knowledge compilation in rust☆27Updated 6 months ago
- ☆40Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Updated 7 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Program synthesis☆12Updated 8 years ago