|
|
Elixir |
3 |
Elixir implementation of Peter Norvig's Sudoku solver |
Sep 15, 2016 |
|
|
Go |
6 |
A golang implementation of Peter Norvig's sudoku solver |
Apr 24, 2020 |
|
|
JavaScript |
21 |
Sudoku Javascript library, based on Peter Norvig's solver |
Mar 04, 2021 |
|
|
Python |
5 |
A slightly modified version of Peter Norvig's sudoku solver |
Jun 28, 2021 |
|
|
Python |
22 |
Sudoku solvers in Python, Clojure, Haskell, Ruby, etc. Based on Peter Norvig's constraint propagation and … |
May 15, 2022 |
|
|
Clojure |
3 |
A Clojure port of Peter Norvig's ELIZA implementation from PAIP |
Nov 08, 2021 |
|
|
Erlang |
24 |
An implementation of Norvig's sudoku solver in Erlang |
Aug 13, 2022 |
|
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
|
Scheme |
185 |
Learning with Peter Norvig's lis.py interpreter |
Apr 30, 2023 |
|
|
OCaml |
9 |
Constraint solver based on abstract interpretation |
Mar 11, 2023 |
|
|
C# |
29 |
Peter Norvig's Spell Corrector Implemented in C# |
Feb 08, 2023 |
|
|
C++ |
57 |
Norvig's Sudoku solver in C++ |
Aug 13, 2022 |
|
|
C# |
3 |
C# solution to the Zebra Puzzle based on Peter Norvig's python solution |
Dec 22, 2022 |
|
|
Kotlin |
11 |
Peter Norvig's spelling corrector http://norvig.com/spell-correct.html |
Apr 23, 2022 |
|
|
Go |
2 |
Peter Norvig's Lisp in Python reimplemented in Go |
Jan 21, 2019 |
|
|
TypeScript |
37 |
Geometric Constraint Solver |
Apr 26, 2023 |
|
|
Java |
14 |
Constraint Solver ACE |
Apr 04, 2023 |
|
|
PHP |
8 |
A sudoku solver in php mostly based on Norvig's solution. |
Jan 01, 2018 |
|
|
C++ |
35 |
JIGSAW is a fuzzing-based path constraint solver. |
Jun 07, 2022 |
|
|
Python |
2 |
A constraint-based solver for TVM Relay (WIP) |
Dec 19, 2022 |
|
|
Java |
3 |
Demo OptaPlanner constraint solver |
Mar 30, 2022 |
|
|
Elixir |
33 |
A configurable constraint solver |
Aug 16, 2022 |
|
|
JavaScript |
24 |
A react app based on the famous Peter Norvig's Solving Every Sudoku puzzle essay |
Mar 08, 2022 |
|
|
Dart |
4 |
Port of Peter Norvig's spelling corrector http://norvig.com/spell-correct.html |
Apr 28, 2022 |
|
|
Python |
2 |
Spelling Corrector made with Python, courtesy of Peter Norvig's Essay |
Sep 18, 2019 |
|
|
Rust |
40 |
Constraint solver for word games. |
Aug 07, 2022 |
|
|
Lua |
2 |
A Constraint Solver in Lua |
May 08, 2022 |
|
|
Python |
2 |
Distributed Constraint Optimization Problems Solver |
Jan 17, 2024 |
|
|
Java |
3 |
Java implementation of Peter Norvig's minimalistic lis.py Scheme dialect, with a view to implementing Norvig's … |
Apr 05, 2023 |
|
|
JavaScript |
2 |
Implementing Peter Norvig's Python Lisp interpreter (http://norvig.com/lispy.html) in CoffeeScript |
Oct 08, 2013 |
|
|
Julia |
2 |
A port of Peter Norvig's "Solving Every Sudoku Puzzle" to Julia. |
Jun 04, 2023 |
|
|
Java |
51 |
Local-search based solver of Constraint Satisfaction and Optimization Problems |
Feb 11, 2023 |
|
|
JavaScript |
19 |
a constraint solver based on kiwi.js with better API ergonomics |
Aug 10, 2022 |
|
|
Haskell |
2 |
SHErrLoc constraint solver and error localizer |
Apr 25, 2023 |
|
|
C# |
2 |
An incremental constraint solver for .NET |
Mar 08, 2022 |
|
|
Zig |
2 |
A cassowary constraint solver in zig |
Oct 28, 2021 |
|
|
Scala |
3 |
A Toy Constraint Solver in Scala |
Apr 04, 2021 |
|
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
|
Ruby |
3 |
Ruby translation of Peter Norvig's solution to When is Cheryl's birthday problem |
Feb 13, 2018 |
|
|
Rust |
6 |
A fast lean and clean modern constraint programming solver implementation (in rust) |
Mar 10, 2023 |
|
|
Swift |
35 |
A Swift implementation of the cassowary simplex solver |
Apr 25, 2023 |
|
|
Python |
2 |
Peter Norvig's Lisp Interpreters Ported from Python 2.x to Python 3.x |
Jun 07, 2018 |
|
|
SMT |
4 |
A constraint solver abstraction layer for Java |
Jul 20, 2022 |
|
|
Java |
4 |
Sudoku solver using various Constraint Satisfaction heuristics |
Jul 10, 2020 |
|
|
C++ |
3 |
Racket bindings for the Rhea constraint solver |
Mar 20, 2017 |
|
|
C++ |
17 |
Demo for the Simple 2D Constraint Solver. |
Aug 11, 2022 |
|
|
Ruby |
56 |
Ruby bindings for Z3 constraint solver library |
Dec 15, 2022 |
|
|
C++ |
5 |
A constraint solver purely on GPUs (CUDA) |
Feb 17, 2023 |
|
|
Julia |
8 |
A Julia port of the Rhea C++ implementation of the Cassowary constraint solver |
Sep 13, 2021 |