Solving sudoku as a SAT problem
☆22Oct 23, 2026Updated last week
Alternatives and similar repositories for sudoku
Users that are interested in sudoku are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Java Open Source Music Library.☆25Jun 2, 2015Updated 11 years ago
- Genetic Algorithm involving AIs fighting each other to the death... or not?☆21Sep 19, 2013Updated 13 years ago
- Portable, protocol-agnostic UDP socket wrapper, primarily designed for client-server models in applications such as games (deprecated, us…☆12Dec 14, 2017Updated 8 years ago
- Basic linear algebra for small matrices in C☆12Updated this week
- Texture Packer for Game Development Using MaxRects Algorithm☆76Jun 24, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- C library for accessing assets (read-only data) from many different sources, with an fopen/fread-like API.☆17Mar 28, 2023Updated 3 years ago
- symbolic differentiator, partly based on SICP examples. does basic algebraic simplifications on result.☆44May 17, 2016Updated 10 years ago
- eGUI for alphanumeric displays (like HD44780)☆12Dec 16, 2014Updated 11 years ago
- mirror of jsish - A javascript interpreter with 0install, sqlite and websocket support☆13Dec 8, 2015Updated 10 years ago
- More memory on Mac OS X through Metal API.☆13May 2, 2016Updated 10 years ago
- a language extension library☆14Feb 17, 2025Updated last year
- Fast Point Overlap Test☆19Jun 17, 2018Updated 8 years ago
- Lua bindings for libsodium☆13Feb 24, 2014Updated 12 years ago
- rpi_gui☆11Feb 5, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- kj is a small collection of stb inspired libs.☆18Apr 5, 2018Updated 8 years ago
- A N-Dimensional Renderer☆12Dec 1, 2018Updated 7 years ago
- sin(x), cos(x) calculation using CORDIC algorithm and BCD arbitrary precision math.☆10Oct 11, 2012Updated 14 years ago
- Embeddable console 1bpp font that supports many european/eastern unicode codepoints. Aimed to gamedev (C++11).☆14May 15, 2015Updated 11 years ago
- GEMM☆10Aug 26, 2023Updated 3 years ago
- A Lua 5.1 style ABI on top of lua52.dll☆14Jul 20, 2013Updated 13 years ago
- College project about article http://www.cs.ust.hk/~quan/publications/yuan-deblur-siggraph07.pdf☆10Jan 25, 2013Updated 13 years ago
- A simple utility that creates a JSON file with a map of your Amazon Route53 names. Runs in Node.js.☆10Sep 30, 2017Updated 9 years ago
- GRBL master code refactored with 4th axis.☆10Sep 7, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- MuJS is a lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities. It is w…☆16Jan 1, 2016Updated 10 years ago
- Merry Christmas in go☆13Jan 6, 2022Updated 4 years ago
- Simple 2D graphics library for STM32F429 MCU (CooCox project)☆12Feb 9, 2014Updated 12 years ago
- Collection of small C/C++ libraries☆10Aug 4, 2017Updated 9 years ago
- Laplace solver running on GPU using CUDA, with CPU version for comparison☆10Nov 7, 2012Updated 13 years ago
- KenKen Puzzle Game with HTML☆10May 24, 2022Updated 4 years ago
- forked from https://git.oschina.net/andyspider/Camkit.git☆10Jul 13, 2016Updated 10 years ago
- uFFT is a small portable C library for fast computing the discrete Fourier transform (DFT) in one dimension.☆10Dec 4, 2019Updated 6 years ago
- Ecmascript engine for C☆13Nov 14, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The code for the nabaztag bytecode compiler☆10Jun 3, 2012Updated 14 years ago
- Image deblurring and alignment using a series of images (from dozens to thousands).☆10Nov 15, 2014Updated 11 years ago
- Static model binary format☆20Oct 5, 2016Updated 10 years ago
- A GUI application that emulates a GLCD by allowing you to set/clear pixels speeding-up embedded UI development.☆13Sep 11, 2020Updated 6 years ago
- CANBUS_CANopen_J1939_ABB_PLC_ROS_can-utils☆12May 13, 2024Updated 2 years ago
- A variation on Melinda Green's buddhabrot visualization technique.☆10Jan 16, 2019Updated 7 years ago
- A cross-platform game library in the public domain☆15Aug 12, 2019Updated 7 years ago