A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.

Block Puzzle Solver

Quantum-Behaved Particle Swarm Optimization Algorithm

Laboratory work on the mathematics course at ITMO University, completed in the second semester in 2022.

This solver works with any 2048. Just open the game and it will solve it!

A method to enumerate top-k cliques.

Solver algorithm in #3 Paper: Diversified Top-K MaxSAT Solving with MaxSAT

Programme d'aide à la résolution du TUSMO.

Brute-force solver for Carykh's Slanted Prime Sudoko challenge (2nd place)

GTO Poker Strategy App!

Calculate the values to cement plant manufacture their product

Qt5 cross-platform game for Windows, Linux

GreyJack Solver is the metaheuristic constraint solver for continuous, integer, mixed integer problems built on top of Polars

minesweeper game with automatic solver

The newest and most advanced chrome extension for Anton!

Str8ts puzzle solver with unit tests (C# WPF .NET Framework)

Wordle Solver

Solver for NYT Letter Boxed puzzle game.

A project to solve word wheel puzzles

A SAT solver