Search Results for "backtracking" - Page 2
Sort By:
Showing 31 open source projects for "backtracking"
View related business solutions-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
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).
-
2
The horn++ library allows you to solve logical expressions in C++. The expressions must be transformed to horn clauses, which can be written as C++ expressions. The solver uses backtracking to find a solution for the logical problem.
-
3
Sudoku puzzle generator that generates Sudoku puzzles with a given level of difficulty. The puzzles generated have a unique solution and can be solved without backtracking or guessing. The software is written in c++ using stl for windows platform.
-
4
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.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
EPANET-BTX
EPANET Backtracking Extension
The backtracking extension to the EPANET hydraulic modeling toolkit -
6
This project pretends solved Distributed Constraint Satisfaction Problems (Dis-CSP) using Mozart-OZ. Asynchronous Backtracking algorithm will be implemented.