Search Results for "solver" - Page 5
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
Sudoku game with numbers, letters or colors. Board size can be from 4 to 20 (default size is 9). You can play many variants - Killer, Greater Than, Consecutive, Odd/Even, Diagonal, Samurai and their combinations, too.
-
2
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. -
3
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 -
4
-
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.
-
5
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. -
6
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.
-
7
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
8
JumbleGame
A word puzzle game with a set of words scrambled.
A word puzzle game with a set of words, each of which is “jumbled” or scrambled. A solver answers the scrambled word with the correct word, and can also request for a hint -
9
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.) -
$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.
-
10
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. -
11
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
-
12
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. -
13
solver_ansvr
cmdline and ui interfaces to ANSVR - astrophotography plate solving
cmdline (used by Image16) and ui interfaces to ANSVR astrophotography plate solving images (FITS, TIFF, PNG, JPG, PXM, RAW and XCF) are submitted to ANSVR astrometry engine producing a text file with the plate solving result and a .png plot file TIFF, PXM, RAW and XCF files are converted to FITS by the cmdline utility all files are loaded and converted to FITS by the ui utility -
14
UnBlockMe
game solver
-
15
2D Heat Transfer in .C
2D Heat Numerical Heat Transfer Solver
...If you do have it, you can simply download the source files and run them. The following program was built as a final evaluation project for Programming for Mechatronics Course for my BSc. in Mechanical Engineering. This solver is based around the Gauss-Seidel algorithm for 2D heat transfer for pre-determined boundary conditions (i.e. user defined temperatures). I hope this project will be useful for illustrating this type of 2D heat transfer problems. This project uses jpeg2pdf open source converter by Dmitry Markin and Haohu (hosted on SourceForge as well). -
16
-
17
Nurdle
A Wordle solver and companion app
Nurdle helps you make strong guesses when playing Wordle, by analysing the performance of words from Nurdle's dictionary against all remaining secret word candidates. It will let you step back and replay your moves, so you can try out different guesses and strategies. Nurdle can play Wordle in both easy mode and hard mode. Re-exploring your Wordle games with Nurdle should give you more insight into Wordle strategies and make you a better player. -
18
WRF_ELEC
Storm electrification package for the WRF-ARW
...It contains modules for the lightning discharge scheme, the screening layer parameterization, communications, and include code that calls these subroutines. Note that the required elliptic equation solver is a separate download from <http://sourceforge.net/projects/boxmg4wrf> -
19
An open source Solver-compatible optimization engine for Microsoft Excel on Windows and Mac using the Coin-OR CBC linear and integer programming optimizer. You can also use other solvers like Gurobi (if you have it installed), solvers on the NEOS cloud, and various non-linear solvers are supported too.
-
20
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
21
img
Standalone, daemon-less, unprivileged Dockerfile and OCI
Standalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder. img is more cache-efficient than Docker and can also execute multiple build stages concurrently, as it internally uses BuildKit's DAG solver. The commands/UX are the same as docker {build, tag, push, pull, login, logout, save} so all you have to do is replace docker with img in your scripts, command line, and/or life. This is a glorified cli tool built on top of the build kit. The goal of this project is to be able to build container images for unprivileged users. Running unprivileged allows companies who use LDAP and other login mechanisms to use img without needing root. ... -
22
Gap-SPH
Basic SPH solver for 3D subsonic fluid flow models
...The purpose of this self-contained solver is to further develop the code to optimize it to the case of river bedload dynamics. Parallel programming directives have been added where applicable. No GUI for pre- or post- processing is provided yet. -
23
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
24
Systems-of-Equations-Solver
For solving systems of equations ranging from two unknown variables to
For solving systems of equations with two or more unknown variables , using gaussian and gauss-jordan elimination to solve the problems in its matrix simplifications -
25
COVID19 Data Visualization HoloLens2
Experimental COVID-19 data visualization for HoloLens 2
...CreateMeshes() creates the graph for three data values and text label. Main menu's Radio buttons simply show/hide GraphContainer objects. Menu stays around the user with tag-along behavior which is provided by MRTK's RadialView solver. Using the pin button, you can toggle tag-along behavior.
