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:
- LeagueSharp Dev Series Assemblies☆12Nov 5, 2015Updated 10 years ago
- An example project that hooks DirectX and displays a simple AntTweakBar menu.☆14Jul 19, 2014Updated 12 years ago
- Read ghc-core with style. javascript and CSS style.☆13Jul 4, 2015Updated 11 years ago
- Niklas Een's ABC/ZZ framework☆25May 14, 2022Updated 4 years ago
- More open source 4/4 beats for the peoples☆26Jun 16, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 8 years ago
- cmake-init generated executable project with vcpkg integration☆12Jan 12, 2025Updated last year
- ☆14Apr 17, 2022Updated 4 years ago
- A C++/Python library for numerical optimization calculations☆14Mar 6, 2025Updated last year
- ☆13Mar 27, 2013Updated 13 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- Tools to support multiple GHC distributions in a Bash shell environment☆14Jul 11, 2019Updated 7 years ago
- ☆13Feb 2, 2017Updated 9 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Trace back the sources that contribute to your minified JavaScript artifact.☆11Feb 24, 2015Updated 11 years ago
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 11 years ago
- Twitter meets tik tok☆10Jul 25, 2020Updated 6 years ago
- HEAL.Attic is a serialization and persistence framework for .NET. It serializes and deserializes complete object graphs and uses Google P…☆13Aug 8, 2024Updated 2 years ago
- Fast binary data compression for C/C++☆18Oct 22, 2026Updated last week
- ☆12May 6, 2015Updated 11 years ago
- Rust library to make working with JNI more pleasant☆13Apr 5, 2022Updated 4 years ago
- Official repository of Pandora's Bochs, a Bochs-based automated unpacker for runtime-packed Windows executables☆15Mar 24, 2014Updated 12 years ago
- ☆11Mar 18, 2021Updated 5 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.
- Finding magic factors for bitboard based move generation☆17May 9, 2026Updated 5 months ago
- Basic Docker-Compose example on resinOS with Raspberry Pi 3☆12Oct 21, 2016Updated 10 years ago
- A simple hello-world project to try out Travis-CI and pytest☆11Jul 10, 2017Updated 9 years ago
- A set of c++ tools that provide nicer (more Qt-like) APIs on top of stl classes with a friendly license.☆22Jul 24, 2026Updated 3 months ago
- A fast, safe, and portable implementation of HighwayHash for Rust☆18Jun 6, 2023Updated 3 years ago
- Modern C++ implementation of the Kaleidoscope LLVM tutorial.☆12Sep 3, 2017Updated 9 years ago
- TypeScript custom runtime + workflow integration for Architect☆18Dec 24, 2025Updated 10 months ago
- 'Software Asset Management' PowerShell library to extract software licensing relevant information from enterprise software systems☆14Aug 26, 2020Updated 6 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- 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.
- ☆10Jun 28, 2016Updated 10 years ago
- 股票业绩预测：实战 iwencai JS逆向 + 数据采集（20220803）欢迎star、交流！☆14Aug 3, 2022Updated 4 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 8 years ago
- ☆11Mar 11, 2023Updated 3 years ago
- ☆12Dec 21, 2023Updated 2 years ago
- Tody.Chat - Zero-configuration Team Chat☆13Apr 6, 2020Updated 6 years ago
- uvx is now uvenv☆16Dec 4, 2024Updated last year