Search Results for "solver" - Page 4
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.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
Library for ion optics, plasma extraction and space charge dominated ion beam transport.
-
2
SciMLBenchmarks.jl
Benchmarks for scientific machine learning (SciML) software
SciMLBenchmarks.jl holds webpages, pdfs, and notebooks showing the benchmarks for the SciML Scientific Machine Learning Software ecosystem. -
3
Given a partially filled 9×9 2D array, the goal is to assign digits (from 1 to 9) to the empty cells so that every row, column, and sub grid of size 3×3 contains exactly one instance of the digits from 1 to 9.
-
4
ProxSDP.jl
Semidefinite programming optimization solver
ProxSDP is an open-source semidefinite programming (SDP) solver based on the paper "Exploiting Low-Rank Structure in Semidefinite Programming by Approximate Operator Splitting". The main advantage of ProxSDP over other state-of-the-art solvers is the ability to exploit the low-rank structure inherent to several SDP problems. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
This software solves the Phylogeny problem using Median Networks. Exact and heuristic methods available. Input: an alignment and a reversible stepmatrix, output: (sub)optimal trees and their combinations. Steiner problem solver included.
-
6
EEC Solver is an app for the HP Prime calculator. It can be used to solve AC or DC circuits with linear and non-linear elements.
-
7
A fast Rubik's cube solver with a Qt-frontend. This is a port from H. Kociemba's Two-Phase-Algorithm to C++ which can solve cubes with an average of 20 moves. Needs Qt 4 (<=cubesolver-0.1.1) or Qt 5 (>=cubesolver-0.2.1).
-
8
GeneticSharp
GeneticSharp is a fast, extensible, multi-platform and multithreading
...Can be used in any kind of .NET 6, .NET Standard and .NET Framework apps, like ASP .NET MVC, ASP .NET Core, Blazor, Web Forms, UWP, Windows Forms, GTK#, Xamarin, MAUI and Unity3D games. GeneticSharp and extensions (TSP, AutoConfig, Bitmap equality, Equality equation, Equation solver, Function builder, etc). A Blazor client application template with GeneticSharp ready to run a Travelling Salesman Problem (TSP). A console application template with GeneticSharp, you just need to implement the chromosome and fitness function. A console application template with GeneticSharp ready to run a Travelling Salesman Problem (TSP). -
9
Qualisys Unity SDK
Unity package for the C# (.NET) implementation for Qualisys Track
...Get a real-time stream of motion capture data in Unity with minimal latency. This makes it possible to drive characters, rigid bodies or any other Unity object. Qualisys provides a robust skeleton solver that lets you solve one or more actors in real-time. Capturing crouching, wrestling and lying on the floor has never been this straightforward. By combining skeleton solving with AIM, you can capture advanced setups in a simplified workflow. An FBX is the easiest way to read mocap data in external gaming or animation software. Our FBX files contain characters, skeletons, optical markers and actors. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
10
Binary Analysis Platform
Binary Analysis Platform
...BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml. -
11
TPLS
High Resolution Direct Numerical Simulation (DNS) of Two-Phase Flows
TPLS is a powerful and efficient 3D Direct Numerical Simulation (DNS) flow solver to simulate multiphase flows at unprecedented detail, speed and accuracy. This flow solver has been developed by Lennon Ó Náraigh (Mathematical Sciences, University College Dublin), Prashant Valluri (Engineering, University of Edinburgh), David Scott, Toni Collis and Iain Bethune (EPCC at the University of Edinburgh) and Peter Spelt (Université de Lyon1, Claude Bernard) under the aegis of several HECToR / ARCHER / ARCHER2 computer time grants, dCSE/eCSE programmes and the EU project EXCELLERAT. ... -
12
Solvespace
SOLVESPACE is a free (GPLv3) parametric 3d CAD tool.
...Applications include: modeling 3d parts — draw with extrudes, revolves, helixes and Boolean (union / difference / intersection) operations modeling 2d parts — draw the part as a single section, and export DXF, PDF, SVG; use 3d assembly to verify fit 3d-printed parts — export the STL or other triangle mesh expected by most 3d printers preparing CAM data — export 2d vector art for a waterjet machine or laser cutter; or generate STEP or STL, for import into third-party CAM software for machining mechanism design — use the constraint solver to simulate planar or spatial linkages, with pin, ball, or slide joints plane and solid geometry — replace hand-solved trigonometry and spreadsheets with a live dimensioned drawing ORIGINAL SOURCE: https://solvespace.com/index.pl -
13
ConstraintSolver.jl
ConstraintSolver in Julia
This package aims to be a constraint solver completely written in Julia. The concepts are more or less fully described on my blog OpenSourc.es. There is of course also the general user manual here which explains how to solve your model. -
14
-
15
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
16
ViennaSHE is a modern semiconductor device simulator for 1D, 2D and 3D device simulation. It relies on deterministic solutions of the Boltzmann Transport Equation using Spherical Harmonics Expansions.
-
17
SMASH
Massively parallel software for quantum chemistry calculations
Scalable Molecular Analysis Solver for High-performance computing systems (SMASH) is massively parallel software for quantum chemistry calculations and released under the Apache 2.0 open source license. It is currently capable of energy, analytical gradient, and geometry optimization calculations of Hartree-Fock theory and Density Functional Theory (DFT), and energy calculations of Second-order Moller-Plesset (MP2) perturbation theory. -
18
Qbsolv
A decomposing solver
Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical tabu solver. (Note that qbsolv by default uses its internal classical solver. Access to a D-Wave system must be arranged separately.) -
19
Triton
Triton is a dynamic binary analysis library
Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped. -
20
SendMail.zip is easy to use blk email sender. It create with Delphi. Smtp email sender It is an email sender. This software can send your mass marketing bulk email to unlimited mailing list. The program can send via SMTP server, MAPI, or delivers e-mail directly without ISP's mail system. Also includes flexible address filters and rules. Sending to Harry XMR: 86FUyyZP59143CBG4RkbBxc4PYEQGBMCohcybyZTYaZd538gcuLau1c2hTphGQwd2JFo4Adct4xwiWpPkhKztcZC5UUNaQi
-
21
ADE_3D_FEM
A 3D ADE FEM solver including a manual and a basic preprocessor
A 3D Advection-Diffusion Equation Finite Element Method solver including a user's manual and a basic pre-proccessor. -
22
...NESSIE is an electronic structure code that uses a real-space FEM discretization and domain-decomposition (DD) to perform all-electron ground-state DFT and real-time excited-state TDDFT calculations. The code is written to take advantage of multilevel parallelisms of the FEAST eigenvalue solver to target systems containing many distributed-memory compute nodes. The real space mesh is generated using the software tetgen.
-
23
UnBlockMe
game solver
-
24
-
25
HMD Mathematics
Numerical mathematics platform, Matlab alternative
Matlab alternative. Scilab alternative. GNU Octave alternative. Mathematics software for numerical computation. Ordinary differential equations solver and finite elements solver. It has a console script interpreter, as well as a graphical interface script interpreter, for entering equations and statements, and a line plot display.
