horenmar / sudoku-example
An example of C++ Sudoku solver using MiniSat library.
☆29Updated 3 years ago
Alternatives and similar repositories for sudoku-example:
Users that are interested in sudoku-example are comparing it to the libraries listed below
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A Valgrind tool for Herbie☆93Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- Conjure: The Automated Constraint Modelling Tool☆103Updated 2 weeks ago
- Incremental regular expression matching☆53Updated 12 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆103Updated 5 months ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 4 years ago
- Code for http://oilshell.org/blog/☆50Updated this week
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 4 months ago
- Unison's source code☆106Updated last year
- A minimalistic and high-performance SAT solver☆145Updated 3 years ago
- Various Futhark benchmark programs☆41Updated last month
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated last month
- Cache Oblivious Lookahead Arrays☆27Updated 11 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated 11 months ago
- Universal Number Library☆41Updated 6 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The latest development version of rose. It may not pass all regression tests.☆108Updated 5 years ago
- Library for exact real number computations☆39Updated 9 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago