Search Results for "solver" - Page 6
Sort By:
Showing 515 open source projects for "solver"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
$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.
-
1
Jack LIRE (Linked Record)
Quantum universal object system with referencing and genetics
Jack LIRE (Linked Record) is a quantum database-backed life-long text record diary with referencing (linking) between records, and a data library for life-long keeping of files such as documents, photographs, music and more. The diary records are fully searchable. Files can be mentioned in diary records to preserve memories, document knowledge and ideas, and more. Massive numbers of diary records and files can be permanently kept. A database located on one computer can be accessed from... -
2
Zat 1.0
Fast N-SAT solver for Windows 10
Zat is an Onagan project. It is a very fast sat solver for .cnf, .dimacs, ... Zat is an O(n^log(n)) time complexity algorithm, which is faster than O((1+e)^n) for e strictly positive. The space complexity is O(n). The version 1.0 is exclusively for Windows 10. -
3
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
4
JNIZ music notation audio to midi
music composition and notation software, audio to midi converter
The Jniz project is stopped. The new Web version is now JnizWeb hosted on Gitlab (under construction): https://gitlab.com/jniz70/jnizweb/ Demo: https://jniz70.gitlab.io/jnizweb/ Jniz is a piece of software designed for musicians as a support tool to the musical composition. It allows you to build and to harmonize several voices according to the rules of classical harmony. Sound/audio-to-Midi converter: real-time conversion of any monophonic sound (voice, instrument etc.) into... -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
F3DM
Finite Element Method on 3D 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. -
6
SudokuSolver
C# Sudoku solver that uses human techniques; no brute-forcing.
-
7
REDOSPLAT
School timetabling solver and domain specific language
Domain-specific language called REDOSPLAT uses customised, readable notation instead of technically oriented data formats usually used in timetable problems. The desired timetabling requirements are defined using sentences whose syntax is close to the syntax of spoken language. -
8
SONNET
SONNET (integer) linear optimisation in .NET
...SONNET consists of two parts: 1) A .NET library that consists of .NET wrapper classes around existing COIN classes such as OsiSolverInterface. 2) A .NET library implemented in C# that adds a powerful (rudimentary) modelling API with classes like Model, Constraint, Variable, Expression, etc, and overloaded operators to allow for things like Model model = new Model(); Variable x = new Variable(); Variable y = new Variable(); model.Add(2 * x + 3 * y <= 10); model.Objective = 3 * x + y; Solver solver = new Solver(model, typeof(OsiClpSolverInterface)); solver.Maximize(); Console.WriteLine(solver.ToSolutionString()); -
9
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... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
mssolver
Automatic solver of a minesweeper game
This is an automatic algorithm, which solves a minesweeper game field -
11
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. ... -
12
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" -
13
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. -
14
GUSEK provide an open source LP/MILP IDE for Win32, packing a custom version of the SciTE editor linked to the GLPK standalone solver.
-
15
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. -
16
austenite transformations simulator
A solver for austenite transformations simulation.
A console software which is a solver for austenite transformations simulation. It has a text file in/out interface. Also there is a windowed shell for the calculation result processind and import selected results to excel files. Thermodynamics and kinetic calculations. For MS Windows only. -
17
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. -
18
Sudoku Game Solver Generator
Standalone Complete Sudoku puzzle Game Solver Generator for Windows
This is the most complete and standalone Sudoku puzzle suite for Windows. It includes comfort playing with undo steps and powerful Sudoku generator with different difficulty levels. Also you can create Sudoku game manually and print it on an A4/Letter paper. Tutorial mode with solving hints for newbies is included too. Also there is High Score table and built-in timer for professional players. The Sudoku generation algorithm used by this app is my ultimate proud. Primarily it was based on... -
19
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... -
20
Magic Solver sim
A rudimentary 2D isometric engine
A very simple 2D isometric-engine which was created as basic idea to develop an isometric virtual environment in which some programmed robots autonomously they move trough differents rooms to test they abilities to solving problems in the real enviroment. The engine is in the first stage and it needs to be completed. Totally useless fun project. But feel free to enjoy it and help grow it. -
21
Linear Program Solver (Solvexo) is an optimization package intended for solving linear programming problems. The main features of the Solvexo are: · Solvexo solver is based on the efficient implementation of the simplex method (one or two phases); · Solvexo provides not only an answer, but a detailed solution process as a sequence of simplex matrices, so you can use it in studying (teaching) linear programming
-
22
SoDiOpt
A numerical solver for optimization-constrained differential equations
SoDiOpt is a MATLAB-based code that performs numerical integration of Optimization-Constrained Differential Equations (OCDE). SoDiOpt provides efficient numerical solution of OCDE by using the optimality-based solution method. A sequence of DAE systems are generated and classical index-1 DAE simulator is applied to solve the derived DAE systems. -
23
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 essential methods like fit, score, analyze and save/load. For more complex features, you should use the anaGo modules such as models, preprocessing and so on. -
24
BoxWorldSolver
Graphical Solver for BoxWorld game
This is a graphical solver program for the BoxWorld game. It is a work in progress, and can currently solve around half of the 100 levels quickly, but struggles on the larger puzzles. Further work is needed on the solver algorithm. -
25
Nonlinear Schrödinger equation (NSE) is a fundamental equation in nonlinear optics that describes the propagation of a pulse through a dispersive and nonlinear medium. Nonlinear Pulse Propagation Solver (NPP) is a program, written in C/C++, that solves NSE in an arbitrary waveguide. It has a user friendly interface, which allows a user to enter the pulse and waveguide parameters and execute simulations. The program can be invoked within MATLAB and any other scripting language. It can export the results in different formats including ASCII text “.txt” and MATLAB “.mat” format. ...
