Ada-Sodoku
Sodoku solver
A library for solving and finding Sodoku grids using brute-force combinatorial evaluation.
Small Library for Sodoku grid solving / finding
5 stars
1 watching
1 forks
Language: Ada
last commit: over 1 year ago
Linked from 1 awesome list
adaada-sodokubignumberbruteforcecombinatory-library
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 stangassinger/sudoku | A Sudoku solver for an embedded system using Ada and the STM32F429 microcontroller. | 0 |
| frett27/ada-ga | A library that provides an implementation of a genetic algorithm in Ada | 2 |
 fastrgv/hungarianalgorithm | An implementation of the Hungarian algorithm in Ada for solving assignment problems with optimal cost minimization | 1 |
 darkestkhan/fletcher | An implementation of the Fletcher_16 sum computation algorithm in Ada. | 0 |
| frett27/ada-midi | An Ada implementation of Midi file reading and writing functionality | 6 |
 mosteo/hungarian | An Ada wrapper around Stachniss' Hungarian solver algorithm to facilitate efficient matching of elements in two lists | 2 |
| frett27/ada-synthetizer | A sound synthetizer library that generates music from samples and supports real-time playing and offline playback. | 17 |
 blady-com/tp7ada-gnoga | A set of Ada bindings for Turbo Pascal 7.0 units with support for graphic programming using Gnoga. | 5 |
 adacore/libadalang | An Ada semantic analysis library providing syntactic and semantic analysis services for the Ada programming language. | 147 |
| adacore/svd2ada | A tool for generating Ada bindings from ARM Cortex-M device SVD descriptions | 65 |
| adacore/ada_drivers_library | A collection of Ada source code and sample projects for microcontrollers | 246 |
| mosteo/player-ada | A set of Ada bindings for the Player/Stage robotic platform | 4 |
 oxfordcontrol/sostools | A MATLAB toolbox for solving sums of squares optimization programs | 55 |
 gabriele-galeotti/sweetada | A framework for building Ada-based software systems that can run on a wide range of machines and embedded boards. | 38 |
 wainwrightmark/puzzle_cube | A web-based solution for Rubik's cube puzzles, allowing users to solve and generate solve data in their browsers. | 9 |