Search Results for "solver" - Page 3
Sort By:
Showing 104 open source projects for "solver"
View related business solutions-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
1
Alkindus is an automated solver for short monoalphabetic substitution ciphers without word divisions.
-
2
-
3
-
4
-
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
The SBML ODE Solver is a command-line tool and programming library (ISO/ANSI C) for construction and numerical integration of an ODE system, derived from an SBML based description of a biochemical reaction network. Development has moved to https://github.com/raim/SBML_odeSolver . Please download the latest version from there!
-
6
A simple CUDA accelerated solver for general dimensional n-body problems. Currently only the conjugate gradient method has been implemented, but more will soon follow.
-
7
A simple command line tool for solving the triangular peg solitaire game, like the one at Cracker Barrel. Also has a few other features.
-
8
The openLBMflow is an fast fluid flow solver based on Lattice Boltzmann Method. Main future are 2D and 3D code, single and multiphase models, Output data in VTK format can be directly open in Paraview. Download Windows or Linux binary version now.
-
9
A fast, logic-based step-by-step Sudoku solver.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
-
11
A 2-D inviscid flow and adjoint solver on unstructured triangular grids. It makes use of a vertex-centroid finite volume scheme which is second order accurate. The adjoint solver is developed using the automatic differentiation tool called TAPENADE. Code has been moved to https://github.com/cpraveen/euler2d
-
12
Trinkets for hackers. Currently: Rubik cube move series inventor. Go solver for tiny boards. Jokes converted into lateral puzzles. Turing machine enumeration Things coming: sci-fi ideas/stories, chess (endgame), etc... License GPL+GFDL
-
13
-
14
Self-Adapting Large-scale Solver Architecture: system for picking numerical algorithms (linear system solving) based on statistical modeling and machine learning.
-
15
Eternity 2 puzzle heuristic solver is distributed computing project trying to solve 2 million dollars puzzle by using heuristic algorithms. Project development is based in Sofia, Bulgaria. Eternity 2 website: http://uk.eternityii.com/
-
16
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.
-
17
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.
-
18
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.
-
19
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.
-
20
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).
-
21
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
-
22
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.
-
23
ktsolver - Knight's Tour problem solver. Finds quickly a lot of solutions of the Knight's Tours problem.
-
24
Written in C w/Gtk+, Gthreads. Plays 9x9/16x16 sudokus. Look & feel is customizable. Generates human-solvable games. Includes solver. Can open/save games. Players can create their own puzzles. Send feedback if you think this game blows.
-
25
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
