Search Results for "solver" - Page 15
Sort By:
Showing 475 open source projects for "solver"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
Forever Free Full-Stack Observability | 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
AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.
-
2
Pydusa is a package for parallel programming using Python. It contains a module for doing MPI programming in Python. We have added parallel solver packages such as Parallel SuperLU for solving sparse linear systems.
-
3
-
4
Sudoku solver written in Python using the TkInter library. Handles various puzzle sizes and allows for both letters and numbers. If you don't have Python installed you can get it at http://www.python.org/download/
-
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.
-
5
Sudoku solver written in Python using the TkInter library. Handles various puzzle sizes and allows for both letters and numbers. This project site is not active, please visit http://sourceforge.net/projects/tkpysudoku/
-
6
Open FMM ( http://www.openfmm.net ) is and open source EM software project. It consist of a fast parallel two-dimensional TM/TE solver called Nero2d.
-
7
This is an implementation of Donald Knuth's Algorithm X ("dancing links"). This is primarily a sudoku generator and solver, though it can be used to solve other exact cover problems.
-
8
rutc is a calculator and expression solver for real and complex numbers. Besides the usual mathematical operations, it also offers user-defined functions, a statistical mode, input and output in several bases and also a linear equation solver.
-
9
Sudognu is a command line sudoku solver and creator. Sudognu can display the logical steps it uses to find the solution. It can print four sudokus to a pdf page and it comes with example cgi scripts for integration into websites.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
HOMB is a simple benchmark based on a parallel iterative Laplace solver aimed at comparing the performance of MPI, OpenMP, and hybrid codes on SMP and multi-core based machines.
-
11
A framework for solving large systems of linear equations (Ax=b) in a distributed network using different iterative methods. The solver is written on Java, can be run on Windows or Linux. The solver is compatible with either MPICH2 or mpj-express.
-
12
Solver for the Data Ordering Problem with and without inversion.
-
13
A simple SUDOKU solver, you can solve original Sudoku or edit your own and ask Susiso to give you some hints or the solution.
-
14
This is a simple app, created around an original sudoku solver based only on heuristics, not brute force. It's coded in Java/SWT(GUI toolkit). It's an example of MVC and of Visitor, Observer, Strategy, Abstract Factory, Singleton Design Patterns.
-
15
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).
-
16
-
17
A wordsearch puzzle solver written in Perl that reveals the locations of words in rectangles of seemingly meaningless characters. The words may be hidden in the puzzle horizontally, vertically, diagonally, and backwards.
-
18
Crazy Turtle puzzle game solver utility. Other names: CRAZY TURTLE / LE JEU FOU DE LA TORTUE / NAUGHTY TURTLES / ŠAŠAVE KORNJAČE / NAGAJIVE ŽELVICE / SASAVE KORNJACE
-
19
A non-brute-force sudoku solver. Ukodos is sodoku backwards; According to wikipedia, Sodoku is a bacterial zoonotic disease.
-
20
-
21
Simple command-line solver of the nonogram logic puzzles. Simulates human techniques of soluting. Development inactive, but moved to: http://github.com/martinkozak/nonogram-solver.
-
22
MRCWA - Multilayer Rigorous Coupled Wave Analysis is a fast, flexible optical grating solver. It calculates an exact solution to the Maxwell equations for the diffraction of light from an optical grating with arbitrary profile and materials.
-
23
Curious mad fan of sudoku, I've been pretty disappointed to always find programs processing all cases. For us "humans", it's unusable. That's why I've had in mind so far to create one which could help us (giving hints) if we're stumped.
-
24
QNonograms is crossplatform nonogram (also know as griddlers or paint-by-numbers) puzzle solver/game.
-
25
Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library
