MeGotsThis / Hanabi-AILinks
This is a hanabi AI bot that can play on http://keldon.net/hanabi/
☆12Updated 8 years ago
Alternatives and similar repositories for Hanabi-AI
Users that are interested in Hanabi-AI are comparing it to the libraries listed below
Sorting:
- deep learning for math☆29Updated 6 years ago
- Example repo for running Python-based AIs in Ludii☆12Updated 2 years ago
- Repo with code for Ludii's built-in AIs.☆22Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 3 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆47Updated last month
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Updated 7 years ago
- Performant and safe knowledge compilation in rust☆27Updated this week
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- ☆19Updated 2 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆78Updated this week
- Archived since the contents have been moved to the Hydras & Co. repository☆29Updated 2 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated last year
- ☆19Updated 8 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Formal grammars in Lean 3☆8Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated this week
- A toolkit for enforcing logical specifications on neural networks☆97Updated this week
- ☆31Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 3 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago