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☆146Updated 3 years ago
- A Valgrind tool for Herbie☆95Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- Software transactional memory system developed at Wyatt Technology☆29Updated 6 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 5 years ago
- A language for time-series analysis☆173Updated 4 years ago
- Conjure: The Automated Constraint Modelling Tool☆106Updated 3 weeks ago
- C++ as a Pure Functional Programming Language☆188Updated 6 years ago
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆106Updated last year
- CCS in C++☆26Updated 2 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Structure-of-array synthesis in C++20☆80Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- Doug McIlroy's C++ regular expression matching library☆96Updated 7 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- Live Asynchronous Visualized Architecture☆97Updated 6 years ago
- Methods and Benchmarks for Random Numbers in a Range☆37Updated 7 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆35Updated 4 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- A small DFA for under 16 states☆52Updated 7 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- LLVM-jitted bitmaps☆27Updated 5 years ago