Search Results for "backtracking"
Sort By:
Showing 7 open source projects for "backtracking"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
1
Fast Sudoku Solver
C source for a fast backtracking Sudoku solver.
C source for a fast backtracking Sudoku solver. Console interface, non-graphic, accepts files with multiple games. Can solve 10,000 Sudokus in under a minute. New version is 5% faster! :) -
2
Sudoku command line solver
Solve 9x9 Sudoku Puzzles Using A Command Line Utility
This tool written in C uses the Backtracking algorithm to solve Sudoku puzzles. The idea was born by participating a coding challenge of a German internet forum. https://www.coding-board.de/threads/coding-herbst-die-coding-board-de-coding-challenge.39297/ So it's rather made for fun. However, this code won in terms of speed. Unfortunately, the initiator of the contest has passed away in the meantime. -
3
The LALR parser generator (LPG) is a tool for developing scanners and parsers written in Java, C++ or C. Input is specified by BNF rules. LPG supports backtracking (to resolve ambiguity), automatic AST generation and grammar inheritance.
-
4
During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
CrossBOT is an open source crossword construction system that features an advanced "stand alone" crossword compiler, based on consistency and intelligent backtracking algorithms, along with a web interface.
-
6
EPANET-BTX
EPANET Backtracking Extension
The backtracking extension to the EPANET hydraulic modeling toolkit -
7
...Using the DPLL algorithm and reading file in DIMACS format (cnf boolean expression). Tiger Solver use most features of many important sat-solver: - Double watches list - Chronological Backtracking ....
- Previous
- You're on page 1
- Next
