Google's software suite for combinatorial optimization
Accelerated libraries for quantum-classical computing built on CUDA-Q
A Sudoko Solver/Puzzle Generator For MS Windows
bridge double dummy solver. Preferance problems solver
mods to the Festival sokoban solver to run on OSX + Win + linux
Traveling Salesman Problem (TSP) Solver
Precision Trigonometry: Advanced Calculator for Complex Math
War of seventh kings
System dynamics program with additional features for economics
Open source software calculating industrial noise in the environment
VanitySearch is a Bitcoin address prefix lookup tool.
Solving the Satoshi Puzzle
Binary Analysis Platform
A decomposing solver
Triton is a dynamic binary analysis library
pss5 is a polynomial system solver, under development.
Standalone Complete Sudoku puzzle Game Solver Generator for Windows
Generate and solve Travelling Salesman Problem tasks
high-performance nonlinear least squares solver for graph problems