Alternatives and similar repositories for sudoku-example

Users that are interested in sudoku-example are comparing it to the libraries listed below

• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• PetterS / monolith
  A C++ monorepo for discrete and continuous optimization. Batteries included!
  ☆106Updated last year
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆107Updated last month
• empirical-soft / empirical-lang
  A language for time-series analysis
  ☆173Updated 4 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 weeks ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆96Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆98Updated 6 years ago
• plops / cl-cpp-generator
  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
• celtera / ahsohtoa
  Structure-of-array synthesis in C++20
  ☆81Updated 3 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆158Updated 4 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆150Updated 5 years ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆96Updated 7 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 6 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated 2 years ago
• andralex / MedianOfNinthers
  ☆50Updated 5 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 15 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• SaadAttieh / lazyCode
  C++14: bringing in those expressions that you wish you had, Lazily evaluated, compossible generators, maps, filters, ranges and more...
  ☆156Updated 6 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆127Updated last week
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago