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:
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆105Updated this week
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Various Futhark benchmark programs☆42Updated last month
- Some fun examples of solving problems with symbolic execution☆114Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 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
- Yet Another Compiler Visualizer☆158Updated 4 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 4 months ago
- CCS in C++☆26Updated 2 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Doug McIlroy's C++ regular expression matching library☆96Updated 7 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- A language for time-series analysis☆173Updated 4 years ago
- Code for http://oilshell.org/blog/☆50Updated last month
- A PEG that compiles itself.☆76Updated 14 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆72Updated 3 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆61Updated 10 years ago
- Examples of common systems programming optimizations☆51Updated 4 years ago
- SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada☆161Updated 3 years ago