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
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆98Updated 9 months ago
- Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"☆14Updated 4 years ago
- Conjure: The Automated Constraint Modelling Tool☆102Updated last week
- Various Futhark benchmark programs☆40Updated 2 weeks 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
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆26Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- The latest development version of rose. It may not pass all regression tests.☆108Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆29Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 3 months ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- KDB bindings for lua☆27Updated 5 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- A PEG that compiles itself.☆74Updated 14 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Vectorized (AVX) version of the game of life☆25Updated 6 years ago
- 64-bit PRNG shootout☆15Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆29Updated 2 years ago
- a 64-bit histogram / quantile sketch☆58Updated 3 weeks ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- WASM builds of the Z3 SMT solver☆142Updated 4 years ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago