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:
- Modeling and Programming with Gecode☆50Updated 3 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- A language for time-series analysis☆173Updated 4 years ago
- A minimalistic and high-performance SAT solver☆146Updated 4 years ago
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆106Updated last year
- Incremental regular expression matching☆53Updated 12 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A small DFA for under 16 states☆53Updated 7 years ago
- Conjure: The Automated Constraint Modelling Tool☆108Updated last week
- C++ parser combinator library☆97Updated 10 years ago
- Live Asynchronous Visualized Architecture☆98Updated 6 years ago
- WASM builds of the Z3 SMT solver☆151Updated 5 years ago
- Various Futhark benchmark programs☆43Updated last week
- 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 5 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆137Updated last week
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Parser for language from Elements of Programming☆38Updated 12 years ago
- Experiments with array layouts for comparison-based searching☆85Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆106Updated last year
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆37Updated 2 years ago
- Doug McIlroy's C++ regular expression matching library☆96Updated 7 years ago
- Continuation Passing C☆115Updated 6 years ago
- CCS in C++☆26Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- Code for http://oilshell.org/blog/☆50Updated 3 months ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago