Search Results for "constraint solver"
Sort By:
Showing 28 open source projects for "constraint solver"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Deliver secure remote access with OpenVPN.OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
-
1
-
2
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
-
3
OR-Tools - Google Optimization Tools
Google's software suite for combinatorial optimization
Google Optimization Tools, also known as OR-Tools is an open-source, fast and portable software suite for solving combinatorial optimization problems. These encompass problems in vehicle routing, flows, integer and linear programming, and constraint programming. This suite contains a number of solvers, namely: a constraint programming solver; a linear programming solver; wrappers for commercial solvers (like Gurobi or CPLEX) and other open source solvers (SCIP, GLPK, etc.); among others... -
4
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. -
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
5
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
6
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. -
7
Solvespace
SOLVESPACE is a free (GPLv3) parametric 3d CAD tool.
...; 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 -
8
SONNET
SONNET (integer) linear optimisation in .NET
... 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
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 shift... -
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
10
Grammar based Combinatorial Solver
Solver with Applications in Computer Network Systems Design
The solver performs an exhaustive search on the space defined using simple formal language grammar constructs to identify solutions that meet the objective and constraints. It can be used to easily define complex discrete multi-dimensional combinatorial problems that are otherwise difficult to model using Mixed Integer Linear Programming solvers. The solver does not make any assumptions on continuity of the search space. The solver is implemented in PHP. A GoJS based visualization is provided... -
11
Z3-str
A Z3-Based String Constraint Solver
We moved to Github. This website only hosts previous releases. Please check https://github.com/z3str/Z3-str for the latest version. -
12
HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.
-
13
DisChoco
DisChoco: Distributed Constraint Reasoning Solver
DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net -
14
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance... -
15
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job ! -
16
Water Retention on Magic Squares Solver
Water Retention on Magic Squares with Constraint-Based Local Search
A Constraint-Based Local Search solver for the Water Retention on Magic Squares-problem. The problem is a very hard combinatorial optimisation problem, invented by Craig Knecht. More can be read about it at: http://en.wikipedia.org/wiki/Water_retention_on_mathematical_surfaces Craig's website for the problem: http://www.knechtmagicsquare.paulscomputing.com/ The solver is mainly based on the theory and ideas from my bachelor thesis, which I wrote at Uppsala University, Sweden... -
17
Processor Enhanced Recursive Dynamics
Processor Enhanced Robust Core Solver for Recursive Multibody Dynamics
Develop an efficient and robust recursive core evaluator and solver for large-scale constrained multibody dynamics, providing general-purpose capability with special-purpose performance. Processors embed model detail into runtime algorithms, minimizing rediscovery operations. Spatial algebra organizes and simplifies recursive algorithms. Gaussian Elimination with Complete Pivoting converts constraint Jacobian matrices and equations into Row-Reduced Echelon Form and partitions variables... -
18
-
19
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
20
-
21
-
22
Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library
-
23
The Sudoku Solver is a project managed in Java programming language using open source choco (http://choco.sourceforge.net) constraint programming library which solves given Sudoku puzzles.
-
24
-
25
OpenPL is a software interface to physics hardware, defaulting to a software constraint solver to make use of the CPU in the absence of a hardware implementation such as Aegia PhysX processor or Nvidia's HavokFX SLI implementation.