|
C |
7 |
simple sudoku "generator" - shuffle a ready sudoku matrix |
Mar 29, 2020 |
|
None |
2 |
CBMC training material and documentation |
Apr 02, 2023 |
|
C |
2 |
give it your hardest sudoku and it will be solved magically :) |
Sep 13, 2020 |
|
Java |
3 |
Solved Questions from LeetCode Learn Section Arrays 101. |
Nov 27, 2021 |
|
Python |
3 |
A Sudoku Solver GUI implemented using Python and Tkinter. The Sudoku Board is solved using … |
Oct 15, 2022 |
|
Java |
3 |
Eclipse plugin for CBMC |
Aug 25, 2017 |
|
Python |
4 |
Fisher information matrix calculation for pulsar timing arrays |
May 20, 2022 |
|
JavaScript |
3 |
Zip and unzip (also called matrix transpose) for arrays and other collections. |
Aug 13, 2019 |
|
Java |
2 |
A 2D matrix program to illustrate how arrays work! |
Jan 28, 2023 |
|
Python |
20 |
The CBMC stater kit makes it easy to add CBMC verification to a software project. |
Sep 28, 2022 |
|
Python |
3 |
Generates a sudoku board on python which can be solved by user input |
Jun 05, 2022 |
|
C |
6 |
Small portable regex in C (cbmc verified, and extended) |
Aug 14, 2022 |
|
C++ |
12 |
The HW-CBMC and EBMC Model Checkers for Verilog |
Aug 04, 2022 |
|
C++ |
6 |
Symbolic Execution Tool based on CBMC |
Mar 02, 2022 |
|
JavaScript |
2 |
3D Matrix Multi-Functional Calculation using Nested Loop with Arrays |
Jul 14, 2022 |
|
Python |
8 |
Using OpenCV and Tesseract-OCR, this python file takes in an image of a sudoku puzzle … |
Aug 30, 2022 |
|
C++ |
3 |
Solver of a sudoku. The grid is a matrix of 9x9. |
May 06, 2022 |
|
Python |
7 |
Sudoku Game Graphical User Interface, Sudoku Solver and Sudoku Generator |
Apr 21, 2021 |
|
TypeScript |
6 |
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for … |
Feb 04, 2023 |
|
C++ |
5 |
A sudoku solver using the command prompt and static arrays (no std::strings or std::vectors used) |
Dec 29, 2021 |
|
Scala |
3 |
Sudoku solver in Scala. Maps problem to exact cover matrix and uses dancing links and … |
Jan 02, 2017 |
|
Haskell |
2 |
(DEPRECATED) cbmc based tool for verifying copilot programs |
Jan 28, 2023 |
|
JavaScript |
5 |
Fast interactive Javascript Sudoku (and Sudoku variant) solver. |
Jul 21, 2022 |
|
C++ |
2 |
A GUI app where you can write your sudoku to be solved using the backtracking … |
Jan 13, 2023 |
|
Python |
15 |
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, … |
Jun 29, 2022 |
|
OCaml |
2 |
hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC |
Nov 28, 2023 |
|
Python |
4 |
Apply Sudoku rules and Crook's algorithm to solve Sudoku |
Aug 04, 2022 |
|
PHP |
19 |
PHP sudoku logic library - Generate and solve sudoku puzzles |
May 08, 2022 |
|
Python |
3 |
An extension of CBMC to enable k-induction proofs. |
Apr 13, 2023 |
|
C++ |
2 |
Solved problems and Ideas |
Jun 01, 2020 |
|
JavaScript |
5 |
Sudoku solver and visualization |
Aug 13, 2021 |
|
Scheme |
2 |
Sudoku solver and generator |
Apr 16, 2018 |
|
Python |
11 |
Sudoku Solver and Generator |
May 13, 2023 |
|
C++ |
2 |
Sudoku generator and solver |
Apr 30, 2023 |
|
Python |
4 |
Converter matrix for a range of array formats in Python, focusing on sparse arrays. |
Jan 10, 2023 |
|
Python |
6 |
This is classic Sudoku and Sudoku Solver with backtracking algorithm |
Aug 30, 2022 |
|
Java |
3 |
Sudoku generator using seed Sudoku....... |
Jul 21, 2022 |
|
JavaScript |
4 |
Sudoku game created with pure javascript. Includes sudoku generator(copied) and sudoku solver(generated by chatGPT). |
May 03, 2023 |
|
C++ |
2 |
The Sudoku Solver is a C++ application developed as a self-learning project during my first … |
Jul 04, 2023 |
|
Haskell |
7 |
Driver for verifying C libraries using the CBMC model-checker. |
Feb 04, 2023 |
|
Pascal |
6 |
Sudoku |
Jun 29, 2021 |
|
Objective-C |
6 |
Sudoku |
Dec 23, 2018 |
|
Java |
7 |
Sudoku |
Jul 25, 2022 |
|
TypeScript |
10 |
Sudoku |
Aug 02, 2022 |
|
JavaScript |
10 |
Sudoku |
Mar 18, 2022 |
|
C |
3 |
SuDoKu |
Mar 10, 2014 |
|
JavaScript |
3 |
Sudoku |
Oct 24, 2019 |
|
Scheme |
4 |
Intervals and Generalized Arrays |
Dec 18, 2022 |
|
Python |
26 |
A Python Sudoku solved program. Python写的深度优先搜索解数独程序。 |
Dec 19, 2021 |
|
PHP |
23 |
phpBB Topic Solved extension: Allows posting questions, and accepting answers as solved. |
Apr 05, 2022 |