An example of C++ Sudoku solver using MiniSat library.
☆29May 26, 2021Updated 5 years ago
Alternatives and similar repositories for sudoku-example
Users that are interested in sudoku-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jun 18, 2023Updated 3 years ago
- Minimal hitting set solver in Python☆11Dec 15, 2018Updated 7 years ago
- M.H.S algorithms encoded☆12Jun 14, 2016Updated 10 years ago
- Aix: Efficiently storing and querying chess game collections☆27Mar 29, 2026Updated 5 months ago
- A library to control the AS1130 LED driver chip.☆12Apr 23, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Corblivar is a simulated-annealing-based floorplanning suite for 3D ICs☆34Jun 1, 2024Updated 2 years ago
- x86 Microkernel☆16Apr 1, 2020Updated 6 years ago
- Collection of ktl header libraries - small C++20 wrapper utilities☆11Aug 15, 2022Updated 4 years ago
- GSoC Project 2024 - A library manager for OpenSCAD☆14Updated this week
- C++ reference implementation for Push-In First-Out Queue☆15Aug 18, 2016Updated 10 years ago
- Lagrangian Relaxation-Based Time-Division Multiplexing Optimization for Multi-FPGA Systems☆15Jun 25, 2020Updated 6 years ago
- ☆13May 18, 2026Updated 3 months ago
- A Z80 Instruction Set Exerciser for CP/M-80☆15Jun 15, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A C++/Python library for numerical optimization calculations☆14Mar 6, 2025Updated last year
- DIN Schablonierschrift - a technocratic and open stencil font☆14Oct 9, 2012Updated 13 years ago
- golang library to parse AMD Firmware Structures☆15Oct 17, 2020Updated 5 years ago
- Arch based Linux distribution for Engineers☆15Sep 16, 2018Updated 7 years ago
- This repository contains the script to install gentoo via proot in termux. Much inspired by ubuntu-in-termux by MFDGaming☆16Feb 24, 2025Updated last year
- A puzzle game for the Amstrad CPC☆11May 3, 2021Updated 5 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 10 years ago
- The new incarnation of the 40 year old Z80 trainer computer - Now with Fulisik LEDs!☆11Apr 4, 2026Updated 5 months ago
- C64 emulation for ODROID-GO☆13Nov 1, 2018Updated 7 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.
- GDBUS simple examples☆12Apr 11, 2016Updated 10 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- A web server to show bottlenecks of GHC☆15Jan 31, 2024Updated 2 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- Cartridge for Commodore 64. It can fit 16pcs of 8 or 16kB ROM images. Supports regular and ultimax ROM images. ROM selection is done with…☆13Apr 13, 2025Updated last year
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆29Nov 5, 2025Updated 9 months ago
- Basic Docker-Compose example on resinOS with Raspberry Pi 3☆12Oct 21, 2016Updated 9 years ago
- A study of undefined behavior on various platforms, compilers, and tools☆20Sep 2, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- uvx is now uvenv☆16Dec 4, 2024Updated last year
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- pandoc-like tool for symbolic regression expressions☆15Mar 10, 2024Updated 2 years ago
- Explain and validate SQL queries as you type them into Datasette☆12Feb 28, 2024Updated 2 years ago
- Framwork for game-y things running on ESP32-S3 and desktop☆17Jul 9, 2025Updated last year
- Fast binary data compression for C/C++☆18Updated this week
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago