Pinned Repositories
Kalah-Framework
Kalah framework for the AI course at FAU WS16/17
kalah-game
Kalah Game Protocol - Specification & Implementation
PRS
A SAT Parallel framework based on Random Shuffle
chess218
A code snippet that proves that there is no legal, potentially non-reachable chess position with more than 218 moves.
league-optimization
Minimalistic but functional sample code for grouping teams, as defined by a distance matrix, into k groups of size within min_size to max_size such that the sum of distances of teams within the same group is minimal. The problem is modeled as an integer linear program and solved using Gurobi.
rust-voltorb-flip-solver
An efficient tool for solving Voltorb Flip puzzles
Tobs40's Repositories
Tobs40/rust-voltorb-flip-solver
An efficient tool for solving Voltorb Flip puzzles
Tobs40/chess218
A code snippet that proves that there is no legal, potentially non-reachable chess position with more than 218 moves.
Tobs40/league-optimization
Minimalistic but functional sample code for grouping teams, as defined by a distance matrix, into k groups of size within min_size to max_size such that the sum of distances of teams within the same group is minimal. The problem is modeled as an integer linear program and solved using Gurobi.