Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sat Sudoku Solver

A SAT-based sudoku solver
Stars
5
License
No license specified
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To SAT-Sudoku-solver
Popular Tkinter Projects
Customtkinter ⭐ 9,403
A modern and customizable python UI-library based on Tkinter
dependent packages 67total releases 69latest release October 17, 2023most recent commit 3 months agopypi customtkinter} Downloads
Tkinter Designer ⭐ 7,773
An easy and fast way to create a Python GUI 🐍
dependent packages 1total releases 10latest release January 22, 2023most recent commit 3 months agopypi tkdesigner} Downloads
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 4 months ago
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt
Related Searches
Python Tkinter
Python Sudoku
Python Sudoku Solver
Python Sat Solver
Python Sudoku Generator
Tkinter Sudoku
Sudoku Sat Solver
Tkinter Sudoku Solver

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Tkinter
Sat Solver
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.