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
Sorting:
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Various Futhark benchmark programs☆42Updated last month
- a Lispy Forth in C++☆26Updated 6 years ago
- CCS in C++☆25Updated last year
- ☆42Updated 9 years ago
- Conjure: The Automated Constraint Modelling Tool☆104Updated 2 weeks ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- A minimalistic and high-performance SAT solver☆144Updated 3 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 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
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated last month
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆31Updated last year
- A small DFA for under 16 states☆51Updated 6 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆52Updated 4 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Parser for language from Elements of Programming☆38Updated 11 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- Runtime Assembler for C++☆13Updated last year
- Bootstrap compiler☆44Updated 6 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Constraing solving using functional methods in C++ and Haskell.☆20Updated 9 years ago