rjtobin / HanSim
A simulator for strategies of a well-known cooperative card game.
☆15Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for HanSim
- Framework for writing bots that play Hanabi.☆36Updated 5 years ago
- A list of Hanabi strategies☆163Updated this week
- State of the art Hanabi bots + simulation framework in rust☆43Updated last year
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆179Updated this week
- Program Synthesis☆144Updated 3 years ago
- Lingeling SAT Solver☆99Updated 8 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆33Updated last year
- SAT Solver SATCH☆108Updated 2 years ago
- deep learning for math☆29Updated 5 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆37Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Computer players for a collaborative card game☆24Updated 5 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- ☆42Updated 7 years ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆40Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆43Updated 4 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
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 2 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 6 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated last year
- Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.☆28Updated 4 months ago
- ☆13Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago