gamesolver / fhourstonesLinks
The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)
☆12Updated 9 years ago
Alternatives and similar repositories for fhourstones
Users that are interested in fhourstones are comparing it to the libraries listed below
Sorting:
- Connect 4 Solver☆316Updated 5 years ago
- Program that simulates a rubiks cube☆21Updated 3 years ago
- A Java framework for the game Connect Four (Connect-4) with different types of agents and algorithms (reinforcement learning [TD with eli…☆12Updated 6 years ago
- ☆602Updated 3 months ago
- CaDiCaL SAT Solver☆514Updated this week
- A kingdom-adaptive AI for Dominion☆45Updated 11 years ago
- 2048 AI☆89Updated 8 years ago
- The glucose SAT solver☆136Updated last month
- A bot that plays on the hanab.live interface.☆21Updated last week
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Updated 6 years ago
- ☆61Updated 3 weeks ago
- A toolkit for SAT-based prototyping in Python☆444Updated this week
- Generate data containing fake Personally Identifiable Information (PII) in R☆24Updated 8 years ago
- Encoding different problems into Boolean satisfiability☆12Updated 3 years ago
- Lingeling SAT Solver☆106Updated last year
- AlphaZero like implementation for Oware Abapa game☆26Updated 2 years ago
- A C implementation of the Held Karp algorithm to solve small TSP instances.☆11Updated 8 years ago
- An advanced SAT solver☆917Updated last week
- A minimalistic and high-performance SAT solver☆1,140Updated last year
- Algorithm Selection scenario data☆30Updated 4 months ago
- Maia is a human-like neural network chess engine trained on millions of human games.☆1,117Updated 7 months ago
- ☆17Updated last year
- ☆11Updated 2 years ago
- A Factorio interface for optimizing belt layouts, offering installation instructions for Docker and Factorio, along with guidance on runn…☆29Updated 4 years ago
- A brief work report of GSoC'21 under mlpack.☆12Updated 4 years ago
- chess visualization library written for d3.js☆78Updated 4 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆85Updated 3 years ago
- Constraint Solving Problem resolver for Python☆508Updated last month
- The MiniZinc compiler☆659Updated this week
- A "Natural" Selection Simulator using Neural Nets☆27Updated 2 years ago