MeGotsThis / Hanabi-AI
This is a hanabi AI bot that can play on http://keldon.net/hanabi/
☆12Updated 7 years ago
Alternatives and similar repositories for Hanabi-AI:
Users that are interested in Hanabi-AI are comparing it to the libraries listed below
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Repo with code for Ludii's built-in AIs.☆21Updated 2 years ago
- Example repo for running Python-based AIs in Ludii☆11Updated 2 years ago
- deep learning for math☆29Updated 5 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated 3 weeks ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 11 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Performant and safe knowledge compilation in rust☆27Updated 6 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Simulation platform for the Multi-Agent Programming Contest 2020/21☆20Updated 2 years ago
- Repository for the Ludii AI Competition☆31Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 2 months ago
- Busy Beaver deciders backed by Coq proof☆49Updated last month
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- A web app for sharing, editing, and commenting on kifus (game records for the board game Go)☆9Updated 6 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 2 months ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- Port of Aleph to SWI-Prolog☆47Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- LibPoly is a C library for manipulating polynomials☆51Updated 4 months ago
- Web interface to play against LC0 (Leela Chess Zero)☆16Updated 6 years ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆15Updated 4 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 8 months ago
- Pedagogical first-order prover in Python☆75Updated this week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆51Updated 8 months ago