Search Results for "solver" - Page 16
Sort By:
Showing 475 open source projects for "solver"
View related business solutions-
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.
-
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.
-
1
MUSoSu - Marios Sudoku, is a sudoku solver/ generator written in Java. As a solver, it emphasizes in solving sudokus in a human-like manner. As a generator it generates sudoku problems that do not need trial & error methods to solve.
-
2
-
3
JASPWrapper is a potential "universal" java wrapper for ASP (answer set programming) inferential engine. It invokes native compiled solver and grounder by Java Virtual Machine and computes answers set analyzing and reifying output stream.
-
4
ktsolver - Knight's Tour problem solver. Finds quickly a lot of solutions of the Knight's Tours problem.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
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.
-
6
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.
-
7
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.
-
8
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.
-
9
CFD (computational fluid dynamics) software. Numerical 2d-solver for compressible ideal gases. Sophisticated turbulence and numerical approach which captures laminar-turbulent transition and aero-acoustic features.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
-
11
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.
-
12
Classic game solved with MinMax algorithm (full solution tree) and simple Heuristics. Specially for learning and teaching computer AI
-
13
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.
-
14
-
15
Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
-
16
-
17
-
18
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...
-
19
SImple SUdoku SOlver wants to be just that: a very simple sudoku generator and solver that is as simple and general as possible.
-
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
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!)
-
23
Given a placement of pieces on a chessboard, find the move which forces checkmate as rapidly as possible.
-
24
malkriz is solver for griddlers (japanese puzzle) written as simple portable classes in c++. You'll find here complete programs using it, written for MSVC6, Qt and cgi. Web version (in slovak language): http://frix.fri.utc.sk/~johny/mkfrm.php
-
25
ksudoku is a fully-featured Sudoku puzzle generator and solver for KDE. With it you can generate and play 3D and 2D puzzles of different sizes and levels. The main algorithm is fast and extendable to any general graph coloring problem.
