Search Results for "solver" - Page 18
Sort By:
Showing 515 open source projects for "solver"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
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.
-
2
This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.
-
3
yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.
-
4
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.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
-
6
-
7
Sudoku solver v1.0 is an open source utility designed by Ankur Vijay (Messi) to solve all sudoku puzzles of NxN size. It can count and report the total number of possible solutions for a give n puzzle and is capable of reporting unsolvable puzzles.
-
8
Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.
-
9
Classic game solved with MinMax algorithm (full solution tree) and simple Heuristics. Specially for learning and teaching computer AI
-
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.
-
10
Multiple dielectric transmission line calculator using a 2D field solver to compute the transmission line characteristics from the circuit trace dimensions entered by the user.
-
11
-
12
Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.
-
13
-
14
Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
-
15
Code_Aster Windows is the Windows port of the OpenSource FEM solver Code_Aster (www.code-aster.org).
-
16
-
17
This is no Sudoku solver, but "explainer". It can guide you with logic through the solving process. Not only 9x9 grids: MxN, samurai or any layout you can describe with the board editor! Now with a great GUI! Manual, tutorial, examples...
-
18
SImple SUdoku SOlver wants to be just that: a very simple sudoku generator and solver that is as simple and general as possible.
-
19
sudoku solver progrmme in c programming language this programme can solve sudoku's the programme is written for windows os but can easly modified for any other opertaing system or can integrate with microcontrollers for robotics applactions.
-
20
CSameGame is a multiplatform Java game based on SameGame. It also supports various game styles, save and load games, highscore ladder, a solver and an helper
-
21
This is an electrochemical battery model designed to run on the Playstation 3. The model is solved using a direct banded solver at each Newton step.
-
22
A simple yet complete sudoku solver program written in C: it solves any kind of 9x9 sudokus, even those that require a backtracing approach.
-
23
-
24
The Optimized Sparse Kernel Interface (OSKI) Library provides automatically tuned sparse matrix kernels, for use by solver libraries and applications. OSKI is part of the BeBOP project on performance tuning and analysis at U.C. Berkeley. (Go Bears!)
-
25
Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.
