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:
- A library to control the AS1130 LED driver chip.☆12Apr 23, 2017Updated 9 years ago
- DB25: A Modern HTAP Database with Computational Storage☆18Aug 22, 2025Updated last year
- ☆22Jan 2, 2026Updated 8 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Collection of ktl header libraries - small C++20 wrapper utilities☆11Aug 15, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A C++/Python library for numerical optimization calculations☆14Mar 6, 2025Updated last year
- A simple fanotify example for watching events on a filesystem.☆13Sep 19, 2015Updated 11 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 10 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆13Aug 1, 2016Updated 10 years ago
- C64 emulation for ODROID-GO☆13Nov 1, 2018Updated 7 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
- oystr recursively searches directories for a substring.☆11Apr 24, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Feb 2, 2017Updated 9 years ago
- An Implementation of Mutli-layer Perceptron in C++☆10Jul 14, 2021Updated 5 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
- Script to download all of Hackage☆18Jul 14, 2019Updated 7 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 10 months ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- A puzzle game for the Amstrad CPC☆12May 3, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- pandoc-like tool for symbolic regression expressions☆15Mar 10, 2024Updated 2 years ago
- A Portage repo browser GUI (kuroo/porthole/eix alternative). Use this to look up information about installed packages, packages to upgrad…☆18Nov 11, 2025Updated 10 months ago
- Twitter meets tik tok☆10Jul 25, 2020Updated 6 years ago
- Tools for a Python curses tiling-windowed gui (command line chat clients, text based RPGs, and other basic text guis)☆17Jul 31, 2015Updated 11 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- ☆12May 6, 2015Updated 11 years ago
- A fast, safe, and portable implementation of HighwayHash for Rust☆18Jun 6, 2023Updated 3 years ago
- Finding magic factors for bitboard based move generation☆17May 9, 2026Updated 4 months ago
- Slides for my 2019 presentation at C++ on Sea☆13Aug 10, 2021Updated 5 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.
- Modern C++ implementation of the Kaleidoscope LLVM tutorial.☆12Sep 3, 2017Updated 9 years ago
- ☆12Dec 21, 2023Updated 2 years ago
- All open source data of the snow flake project.☆44Jul 6, 2020Updated 6 years ago
- DuckDB is an in-process SQL OLAP Database Management System☆48Jul 1, 2026Updated 2 months ago
- Modern c++17 unit testing framework on Microsoft Windows, Apple macOS, Linux, iOS and android.☆16Sep 24, 2021Updated 4 years ago
- Official Haskell port of Sqids. Generate short unique IDs from numbers.☆12Mar 8, 2024Updated 2 years ago
- SQLite extension to calculate the url_hash used in places.sqlite by Mozilla Firefox 50 and later☆15Apr 26, 2018Updated 8 years ago