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.

Optimizing Erasure Coding and Node Allocation in Distributed Storage Systems: A Guided Decomposition Approach

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

A method to enumerate top-k cliques.

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

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

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

GTO Poker Strategy App!

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

Qt5 cross-platform game for Windows, Linux

Calculate the values to cement plant manufacture their product

minesweeper game with automatic solver

The "Crossword Solver" project, implemented in Python, solves crossword puzzles using CSP techniques, backtracking, and the MRV heuristic. It efficiently fills a 2D grid with words from a dictionary, ensuring valid placements. Key features include word preprocessing, heuristic optimization, and saving solved puzzles with performance metrics.

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

Developed as part of Data Structures and Algorithms coursework to provide an interactive understanding of recursion, divide-and-conquer strategies, and exponential-time algorithm behavior.

Maze Forge is a polished, single-file HTML maze generator built with vanilla JavaScript and <canvas>. It renders responsive, high-DPI mazes in the browser, supports multiple generation algorithms, and automatically reveals the shortest solution path after generation.

Combinatorial Decision Making & Optimization course - Scheduling problem