124 Open source projects that are alternatives of or similar to ConstraintSolver.jl

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

A Julia package to manage Constraint-Based Local Search (CBLS) solvers.

An Open Source .Net Constraint Programming Solver

General meta-Heuristic Optimization Solving Toolkit

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

Hodoku is a solver/generator/trainer/analyzer for standard sudoku.

PlaySudoku, a web sudoku game.

Modern Fortran Numerical Differentiation Library

O(N log N)-space IPC solver in OCaml

High performance swift implement of constraint solving algorithm cassowary

Idris tactics for (commutative) monoids

A lazy-grounding Answer-Set Programming system

A simple sudoku solver

Adaptive solver for stiff systems of ODEs using semi-implicit Runge-Kutta method of third order

Program for generating and solving numberlink / flow free puzzles

A native gtk sudoku game written in haskell

implement a full compiler based on c++ 11

Codac is a library for constraint programming over reals, trajectories and sets.

a GRId LOgic Puzzle Solver library

COIN-OR branch and cut (CBC) bindings for R

fdtd3d is an open source 1D, 2D, 3D FDTD electromagnetics solver with MPI, OpenMP and CUDA support for x86, arm, arm64 architectures

A python script that solves ruzzle boards

Lp modeler written in Rust

Memory consistency modelling using Alloy

Backtracking behaviour to solve discrete problems by brute force

Self advection, external force and pressure solve to a velocity field represented by a MaC grid.

Large scale convex optimization solvers in julia

Solves the traveling salesman problem using simulated annealing.

ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver

A cloth and soft body simulation library, using position based dynamics.

Minesweeper player, solver and analyser in javascript

一款轻巧、趣萌、界面精美，具备统计、排行（即将推出），开源、免费、无广告的数独小程序

An open-source solver tool for the Maxwell-Bloch equations.

A Solver for the Wavelength Assignment Problem (RWA) in WDM networks

2D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003

First-order conic solver for convex optimization problems

Constraint Type provider is a Type provider that provides constraints over F# Types.

A sudoku solver using brute forces and logical techniques.

Convex optimization for java and scala, built on Apache Commons Math

Linear programming solvers in Python with a unified API

Constraint Logic Programming over Integers

Python based sudoku generator that can create unique Sudoku board based on 4 difficulty levels. This code also includes a brute force sudoku solver that is capable of solving even the most difficult sudoku puzzles!

The Operator Splitting QP Solver

Constraint Optimization with Lava

Solving a TSP with the CPLEX C++ API.

Derivative-Free Optimization Method for Global Optimization (C++)

Free hands-on course with the implementation (in Python) and description of several computational, mathematical and statistical algorithms.

a C# wrapper for CapMonster Cloud API

Rust Bindings to interact with SMTLIB2 compliant solvers

Python constraint programming library

A very fast japan crosswords (aka nonograms) solver and generator

Semidefinite programming optimization solver

Simple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.

Monadic Constraint Programming framework

Julia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)

C++ L-BFGS implementation using plain STL

Dear ImGui Addons Branch = plain unmodified dear imgui plus some extra addon.

[INACTIVE] A collection of various machine learning solver. The library is an object-oriented approach (baked with Typescript) and tries to deliver simplified interfaces that make using the algorithms pretty simple.

Mine the Genesis Block for your Zcashy altcoin