Search Results for "solver" - Page 2
Sort By:
Showing 355 open source projects for "solver"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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.
-
1
DiffOpt.jl
Differentiating convex optimization programs w.r.t. program parameters
DiffOpt.jl is a package for differentiating convex optimization programs (JuMP.jl or MathOptInterface.jl models) with respect to program parameters. Note that this package does not contain any solver. This package has two major backends, available via the reverse_differentiate! and forward_differentiate! methods, to differentiate models (quadratic or conic) with optimal solutions. Differentiable optimization is a promising field of convex optimization and has many potential applications in game theory, control theory and machine learning. ... -
2
EAGO.jl
A development environment for robust and global optimization
EAGO is an open-source development environment for robust and global optimization in Julia. EAGO is a deterministic global optimizer designed to address a wide variety of optimization problems, emphasizing nonlinear programs (NLPs), by propagating McCormick relaxations along the factorable structure of each expression in the NLP. Most operators supported by modern automatic differentiation (AD) packages (e.g., +, sin, cosh) are supported by EAGO and a number of utilities for sanitizing... -
3
BlockArrays.jl
BlockArrays for Julia
...This means that BlockArray supports fast noncopying extraction and insertion of blocks while PseudoBlockArray supports fast access to the full matrix to use in for example a linear solver. -
4
LinearSolve.jl
High-Performance Unified Interface for Linear Solvers in Julia
LinearSolve.jl is a unified interface for the linear solving packages of Julia. It interfaces with other packages of the Julia ecosystem to make it easy to test alternative solver packages and pass small types to control algorithm swapping. It also interfaces with the ModelingToolkit.jl world of symbolic modeling to allow for automatically generating high-performance code. Performance is key: the current methods are made to be highly performant on scalar and statically sized small problems, with options for large-scale systems. ... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
Sokoban Solver Statistics
Statistics for the best Sokoban solver programs
This project presents statistics for the best Sokoban solver programs. Additionally, it features a Sokoban program for playing the game. -
6
ParallelStencil.jl
Package for writing high-level code for parallel stencil computations
...Performance similar to CUDA C / HIP can be achieved, which is typically a large improvement over the performance reached when using only CUDA.jl or AMDGPU.jl GPU Array programming. For example, a 2-D shallow ice solver presented at JuliaCon 2020 [1] achieved a nearly 20 times better performance than a corresponding GPU Array programming implementation; in absolute terms, it reached 70% of the theoretical upper performance bound of the used Nvidia P100 GPU, as defined by the effective throughput metric, T_eff. ParallelStencil relies on the native kernel programming capabilities of CUDA.jl and AMDGPU.jl and on Base.Threads for high-performance computations on GPUs and CPUs, respectively. ... -
7
noCaptcha Chrome Extension
noCaptcha Captcha Solver for Chrome
noCaptcha Chrome Extension Automated hCAPTCHA, reCapctha, OCR captcha CAPTCHA solver Service API solution Ai based Captcha Solution Powered by noCaptchaAi.com -
8
Fast Sudoku Solver
C source for a fast backtracking Sudoku solver.
C source for a fast backtracking Sudoku solver. Console interface, non-graphic, accepts files with multiple games. Can solve 10,000 Sudokus in under a minute. New version is 5% faster! :) -
9
festival3os
mods to the Festival sokoban solver to run on OSX + Win + linux
Mods to the Festival sokoban solver that allow building on OSX, Linux, & Windows -
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
Chrome Captcha Auto Solver
Google Chrome Bypass Captcha Extension
...Install our newest innovation, our stable and fast Google Chrome Bypass Captcha extension application and allow us to auto-solve and auto-fill your captcha test tasks. # How to Install 1. Download the .zip file of **Chrome Captcha Auto Solver** https://sourceforge.net/projects/chrome-captcha-auto-solver/ 2. Unzip the downloaded .zip file. 3. Go to your Chrome browser's "**Customize & control Google Chrome**" at the uppermost right hand corner. 4. Go to "**More Tools**" option. 5. Go to "**Extensions**" option. 6. Click on "**Developer Mode**" checkbox. 7. ... -
11
HiSA
High speed aerodynamic CFD solver
Code repository hosted at https://gitlab.com/hisa/hisa -
12
bridge studio
bridge double dummy solver. Preferance problems solver
This program is fast and powerful solver of bridge double dummy problems. Working with pbn and deepFinesse files, store problems to html. There is big library of dd problems presented. -
13
XFLR5
XFLR5 is an analysis tool for airfoils, wings and planes
xflr5 is a potential flow solver with built-in pre- and post- processing functionalities. -
14
CAPTCHA Solver for Chrome - CAPTCHAs.IO
The fastest and most stable captcha solving service API provider!
CAPTCHAs.IO The most stable and fast captcha solver service online. CAPTCHAs.IO is the fastest and most stable captcha solving service API provider in the Internet. Now with the Chrome browser they wish to expand their service by this extension. How it works? The extension will automatically detect captchas with in the page but you will have to select the correct CAPTCHA IMAGE and the correct CAPTCHA FIELD then REFRESH the browser for the service to solve the captcha automatically. ... -
15
gsps
A Java library implementing Klir's General Systems Problem Solver
This project aims to create a Java library that implements key features of the General Systems Problem Solver and related techniques for building models inductively from data. -
16
Bridge Hand Creator and Replay
Allows to create, save, load or replay bridge hands.
The application can create bridge hands with constraints, load and save PBN and LIN files, replay hands, call the double dummy solver in the net, including bidding and play, import LIN from the clipboard, export hands to HTML. Hands can be created with side conditions such "sAKxxx" or "E: >14 <20". A Java runtime is needed. Start with "java -jar bridge.jar". The source is included in the jar-file. -
17
hbox
Sokoban solver written in Ada
This is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm. The proper command to extract the archive and maintain the directory structure is "7z x filename". -
18
AntTSP
Traveling Salesman Problem (TSP) Solver
Fast Ant Colony Optimization TSP Solver -
19
+Ubuntu 24.04 WMJ Robotics
Ubuntu Release for WMJ Robomaster Team Vision Group
Ubuntu release contains: ros2, ceres-solver, onnxruntime, openvino, zsh and etc. for basic use, edit, and compile for team code. -
20
JSoko
The Sokoban game implemented in Java.
JSoko is a Java program for playing the Sokoban game. It features path finding, auto push, auto solving, undo/redo, deadlock detection, and more. -
21
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
22
HEXA Structures
HEXA Structures is an application for structural engineering
...Built with PySide6, PyVista and Python, it lets engineers create nodes, beams, supports, materials, sections, loads and load combinations through a graphical interface. PyNite is the default solver, with optional OpenSeesPy support for advanced workflows. The project includes Eurocode-oriented data such as EC2 concrete materials, EC3 steel grades, European steel profiles and French National Annex constants. It also provides interactive 3D visualization, result extraction, 2D internal force diagrams and SQLite project save/load. ... -
23
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at... -
24
linNet
The Software for symbolic Analysis of linear Electronic Circuits
linNet is an application to compute the transfer function of linear, electronic circuits. The computation is done symbolically, not numerically, and the result is a formula rather than a number or a series of such. The found formula is the Laplace transform of the dependencies of the voltages and currents in the circuit on the input voltages and currents. A linear electronic circuit is a combination of the supported basic devices; these are resistor, conductance, capacitor,... -
25
YACS (Yet Another Constraint Solver) is a Java library and an object-oriented framework for constraint solvers. It supports propagating and solving of constraint satisfaction problems with finite and infinite domains (discrete values and real intervals).
