MeGotsThis / Hanabi-AI
This is a hanabi AI bot that can play on http://keldon.net/hanabi/
☆12Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for Hanabi-AI
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- Repo with code for Ludii's built-in AIs.☆21Updated last year
- deep learning for math☆29Updated 5 years ago
- CrazyAra - A Deep Learning UCI-Chess Variant Engine written in C++☆12Updated 5 years ago
- Example repo for running Python-based AIs in Ludii☆10Updated 2 years ago
- Fork of https://github.com/niklasf/fishnet Supports variants playble on https://www.pychess.org☆10Updated 2 weeks ago
- A web app for sharing, editing, and commenting on kifus (game records for the board game Go)☆9Updated 5 years ago
- Framework for writing bots that play Hanabi.☆36Updated 5 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 11 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆32Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆11Updated last month
- Synthesizer of LTLf formula☆9Updated last year
- Repository for the Ludii AI Competition☆31Updated 2 years ago
- Web interface to play against LC0 (Leela Chess Zero)☆16Updated 5 years ago
- Busy Beaver deciders backed by Coq proof☆39Updated 3 months ago
- A deep learning Crazyhouse chess program that uses a Monte Carlo Tree Search (MCTS) based evaluation system and reinforcement to enhance …☆18Updated 5 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆11Updated 7 years ago
- A simulator for strategies of a well-known cooperative card game.☆15Updated 8 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆72Updated 11 months ago
- Experimentation framework for Popper☆20Updated 6 months ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆42Updated 4 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated last year
- A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx☆10Updated 7 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- experimental chess engine based on temporal-difference reinforcement learning☆27Updated 8 years ago