Search Results for "solver" - Page 14
Sort By:
Showing 475 open source projects for "solver"
View related business solutions-
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.
-
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.
-
1
The general triangle solver. It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.
-
2
-
3
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
-
4
A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.
-
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.
-
5
Solver for the Data Compaction Problem (dcp) for static test compaction and some specific bionformatic issues. Contains code, charts, tables and test data.
-
6
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
-
7
-
8
chemfem is a high order finite element method that can solve general partial differential equations and the reacting Navier Stokes equations in particular.
-
9
A simple pdcurses based nonogram solver written entirely in C++, compiled with GCC (MinGW on Windows). Currently broken.
-
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
10
jAlgorithms is a project mainly for educational purposes. It contains some of the popular algorithms and data structures.
-
11
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
-
12
aka Hua Rong Dao (華容道). This is a sliding block game and its solver. Goal: Move the biggest piece to exit in the middle bottom. You can customize the pieces' shape and the configuration of the board. The program shall find the optimal solution
-
13
Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.
-
14
-
15
Jdoku is a sudoku solver made in java. It implements the swing API. The sudoku solver applies two logics for now. Try it. I got board solving news paper sudoku after creating this!
-
16
Ket hop cac SMT solver hien co: Z3, Yices, CVC3 thành một hệ thống chạy trên Lan có khả năng đưa ra lời giải tối ưu nhất cho một ràng buộc logic đưa vào.
-
17
An experimental Sudoku solver that is written using 64 lines or less of C code. Meant as a general experiment in seeing if Sudoku can be solved in that small amount of code.
-
18
-
19
Solve equations with ease! Type in an eqution such as x=x+1/2*x and in milliseconds it will solve it. Written in PHP.
-
20
MicroPather is a path finder and A* solver (astar or a-star) written in platform independent C++ that can be easily integrated into existing code. MicroPather focuses on being a path finding engine for video games but is a generic A* solver.
-
21
Expression Solver computes the value of a mathematical equation/expression. Works with operators, numbers, variables, and functions. Users can define their own variables and functions. hosted: http://github.com/matcatc/Expression-Solver
-
22
Self-Adapting Large-scale Solver Architecture: system for picking numerical algorithms (linear system solving) based on statistical modeling and machine learning.
-
23
C++ library for calculating the light propagation through large and very small structures (sub wavelength). The used method is the Fourier Modal Method. It can be solve one and two dimensional dielectric structures such as gratings, waveguides etc.
-
24
-
25
A SuDoku Solver written in java. Main aim is to provide an software environment which solves any given sudoku game "logically". That is like a human would solve. In future provision for playing sudoku games will also be added to the project.
