horenmar / sudoku-exampleLinks
An example of C++ Sudoku solver using MiniSat library.
☆29Updated 4 years ago
Alternatives and similar repositories for sudoku-example
Users that are interested in sudoku-example are comparing it to the libraries listed below
Sorting:
- A minimalistic and high-performance SAT solver☆145Updated 3 years ago
- Modeling and Programming with Gecode☆51Updated 2 years ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated last month
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆106Updated last year
- Live Asynchronous Visualized Architecture☆96Updated 6 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A language for time-series analysis☆173Updated 4 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…☆65Updated 4 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- Structure-of-array synthesis in C++20☆81Updated 3 years ago
- Generate code to call C++ libraries from other languages☆31Updated 6 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- QuickCheck-like property based automated testing tool for C++☆111Updated 8 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Containers for building C++ on CI☆48Updated 9 months ago
- A performant, parallel, probabilistic, random acyclic-graph, low-latency, perfect hash generation library.☆83Updated last month
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Universal Number Library☆42Updated 7 years ago
- No sane compiler would optimize atomics: the presentation☆106Updated 8 years ago
- Generic Constraint Development Environment☆309Updated 2 months ago
- Code for Alex Stepanov's Components course at A9.☆90Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- Code for the "Programming Conversations" course☆116Updated 6 years ago