N-Queen Problem

Minesweeper X solver made with Python 2

The program solves the puzzle Lights Off

Linear System of Equations Solver in C & Gtk+2

Some of my practice on JS

Brute force Ocaml Sudoku solver

First college assignment at MIPT.

All sat style yet another theorem solver

Hyperdoku Solver to solve Hyperdoku Problem, this will work to Sudoku too.

A PyTorch library for differentiable sparse linear system solvers with automatic differentiation support.

A neat little utility that solves word search puzzles quickly and (not so) efficiently.

Solver for linear systems with n unknowns

A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.

ReSHOP solver

sudoku solver

A Hypixel Skyblock Utilities mod

an animated solver (backtracking - BFS) for rush hour