Search Results for "open solver" - Page 3
Sort By:
Showing 233 open source projects for "open solver"
View related business solutions-
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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
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. -
2
GeneticSharp
GeneticSharp is a fast, extensible, multi-platform and multithreading
GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs). 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... -
3
Qualisys Unity SDK
Unity package for the C# (.NET) implementation for Qualisys Track
Animating characters is straightforward with automatic mapping between Unity’s Mecanim human bones and QTM segments. Just add the skeleton script, set the actor name of the QTM skeleton and press play. Using a QTM rigid body to set the position and orientation of a GameObject is equally easy. Just add a script to the GameObject and set the name of the QTM rigid body. Get a real-time stream of motion capture data in Unity with minimal latency. This makes it possible to drive characters, rigid... -
4
Binary Analysis Platform
Binary Analysis Platform
The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of programs in the machine code representation. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added as plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and symbolic executor. BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification... -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
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
Yet Another Python Sudoku puzzle game
A Sudoku puzzle game
A Sudoku puzzle game written in python, also using wxPython and pyGame. -
7
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.
-
8
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.) -
9
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. -
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.
-
10
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.
-
11
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/ -
12
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... -
13
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/). -
14
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
15
F3DM
Finite Element Method on 3D Meshes
f3dmlib is a FEM library that can read, write and analyse 3D tetrahedral meshes, minimize a given functional, and refine the resulting meshes. The minimization is parallelized with OpenMP. Three main features in unstable 1.8.x version (available via GIT): quadratic elements, periodic boundary conditions, and the solver for scalar and electromagnetic wave equations. f3dmgeom is a collection of a few simple tools for creating surface meshes for tetgen. It can handle simple geometries only. -
16
Dep
Go dependency management tool experiment
Dep was an official experiment to implement a package manager for Go. While dep has many discrete components and moving parts, all of these parts revolve around a central model. Dep is a tool intended primarily for use by developers, to support the work of actually writing and shipping code. It is not intended for end users who are installing Go software - that's what go get does. It is strongly recommended that you use a released version of dep. While tip is never purposefully broken, its... -
17
mssolver
Automatic solver of a minesweeper game
This is an automatic algorithm, which solves a minesweeper game field -
18
Volunteer workshift scheduler
Volunteer workshift scheduler for a helpline service
Code written in Python finds the best possible schedule for volunteers while incorporating constrains and special requirements using CP-SAT Solver (Constraint Programming - boolean SATisfiability problem Solver). Java version is in development. The problem Arranging volunteers for a helpline service for the period of one month. There are three types of work that could be done on the same day: Phone shift: Every day. Chat shift: Mondays and Wednesdays. Observer... -
19
nonogram
Nonogram solver editor
This is a nonogram solver and editor. You can create save and edit solve nonograms. Uses lanterna to display terminal screen. Stores previous calculations to solve other nonograms faster https://github.com/kutaybezci/nonogram "Sample nonograms taken from Maxi Bulmaca Kumral Yayıncılık by Fatma Eger" -
20
OpenOCL Matlab
Optimal control, trajectory optimization, model-predictive control.
The Open Optimal Control Library is a software framework in Matlab/Octave for modeling optimal control problem. It uses automatic differentiation and fast non-linear programming solvers. It implements direct methods. In the backend it uses CasADi and ipopt. -
21
Sudoku-Tk
Sudoku games and puzzle solver
Play and solve sudoku puzzles. Start from an empty grid, generate a puzzle or load one. The game is timed. The generated puzzles have a unique solution. Mistakes (twice the same number on the line / column / row) are highlighted in red. -
22
Sudoku command line solver
Solve 9x9 Sudoku Puzzles Using A Command Line Utility
This tool written in C uses the Backtracking algorithm to solve Sudoku puzzles. The idea was born by participating a coding challenge of a German internet forum. https://www.coding-board.de/threads/coding-herbst-die-coding-board-de-coding-challenge.39297/ So it's rather made for fun. However, this code won in terms of speed. Unfortunately, the initiator of the contest has passed away in the meantime. R.I.P. Benjamin. -
23
TSP Solver and Generator
Generate and solve Travelling Salesman Problem tasks
TSPSG is intended to generate and solve Travelling Salesman Problem (TSP) tasks. It uses Branch and Bound method for solving. An input is a number of cities and a matrix of city-to-city travel prices. The matrix can be populated with random values in a given range (useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving and solving graph. The task can be saved in internal binary format and opened later. The result can be printed or saved as... -
24
anaGo
Bidirectional LSTM-CRF and ELMo for Named-Entity Recognition
anaGo is a Python library for sequence labeling(NER, PoS Tagging,...), implemented in Keras. anaGo can solve sequence labeling tasks such as named entity recognition (NER), part-of-speech tagging (POS tagging), semantic role labeling (SRL) and so on. Unlike traditional sequence labeling solver, anaGo doesn't need to define any language-dependent features. Thus, we can easily use anaGo for any language. In anaGo, the simplest type of model is the Sequence model. Sequence model includes... -
25
SLAM++
high-performance nonlinear least squares solver for graph problems
SLAM++ is a minimalist implementation of incremental nonlinear least squares, containing lighting fast implementation of linear algebra on sparse block matrices. It is aimed for use in 3D reconstruction or robotics.
