horenmar / sudoku-example
An example of C++ Sudoku solver using MiniSat library.
☆29Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for sudoku-example
- Lower Size Bounds for Sorting Networks☆43Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆46Updated 9 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- Library for creation of SAT instances.☆17Updated 2 years ago
- A minimalistic and high-performance SAT solver☆143Updated 3 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Modeling and Programming with Gecode☆45Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last month
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆96Updated this week
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated 2 weeks ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- Lace - implementation of work-stealing in C☆34Updated 6 months ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Runtime and miner for the LODA language written in C++☆21Updated last week
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- A small DFA for under 16 states☆52Updated 6 years ago
- Experiments with array layouts for comparison-based searching☆80Updated 10 months ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆37Updated 2 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- ☆34Updated 4 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆25Updated 7 months ago
- Universal Number Library☆40Updated 6 years ago
- The latest development version of rose. It may not pass all regression tests.☆108Updated 5 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆114Updated 5 months ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago