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
- Modeling and Programming with Gecode☆50Updated 2 years ago
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆106Updated last year
- Conjure: The Automated Constraint Modelling Tool☆105Updated last week
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- A language for time-series analysis☆174Updated 4 years ago
- Library for exact real number computations☆40Updated 10 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆32Updated last year
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 6 years ago
- Incremental regular expression matching☆53Updated 12 years ago
- Various Futhark benchmark programs☆42Updated 3 weeks ago
- Live Asynchronous Visualized Architecture☆97Updated 6 years ago
- CCS in C++☆26Updated 2 years ago
- A simple library to provide RAII in standard-compliant C99, using raii_with(resource, initializer, destructor) { ... }-syntax:☆43Updated 7 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Structure-of-array synthesis in C++20☆80Updated 3 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- A minimal viable programming language on top of liblgpp☆77Updated 4 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
- CHR2 to SQL conversion☆14Updated 10 years ago