203 Open source projects that are alternatives of or similar to Choco Solver

Logic programming in Swift

General meta-Heuristic Optimization Solving Toolkit

A python Linear Programming API

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

A Python API for the MiniSat and MiniCard constraint solvers.

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

ConstraintSolver in Julia: Blog posts ->

a symbolic math expression evaluator for javascript

Mine the Genesis Block for your Zcashy altcoin

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

Easy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, kinectv2, rgbd cameras, optical trackers, and several robots including the ur5 and kuka iiwa.

Job Scheduler for IOS with Concurrent run, failure/retry, persistence, repeat, delay and more

Examples of security features (or mishaps) on web applications -- these are mostly examples and tutorials from the WASEC book.

👨‍💻 ❤️ 💻 上海交通大学软件学院研究生课程作业参考

Algebraic Multigrid Solvers in Python

A static typed low-level compiled programming language inspired by Rust and C

PHP Secure Headers

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

gophersat, a SAT solver in Go

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

A Julia package for disciplined convex programming

almost, but not quite, entirely unlike core.async

Manages application of security headers with many safe defaults

A native library implementing of cryptography, ciphers, PKI and the formats that are used in PKI applications.

Large scale convex optimization solvers in julia

Collection of scripts, thoughts about CSP (Content Security Policy)

Distributed and Graph-based Structure from Motion

A lazy-grounding Answer-Set Programming system

Intuitive and powerful Auto Layout library

Minimal Inverse Kinematics library

A solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models

An easy way to create and layout UI components for iOS.

[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.

A Swift Autolayout DSL for iOS & OS X

The Operator Splitting QP Solver

MyLayout is a powerful iOS UI framework implemented by Objective-C. It integrates the functions with Android Layout,iOS AutoLayout,SizeClass, HTML CSS float and flexbox and bootstrap. So you can use LinearLayout,RelativeLayout,FrameLayout,TableLayout,FlowLayout,FloatLayout,PathLayout,GridLayout,LayoutSizeClass to build your App 自动布局 UIView UITab…

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

🍃 Concise Autolayout code

📦 一个很棒的 clickOutside 库，它解决了 iframe 无法触发 clickOutside 的问题，并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.

A PHP library aiming to make the use of browser security features more accessible.

An easier and faster way to code Autolayout

Beautiful, easy attributed strings in Swift

First-order conic solver for convex optimization problems

http://hopac.github.io/Hopac/Hopac.html

Online SemVer Checker

An easy way to create and layout UI components for iOS (Swift version).

It's a smart KeyBoard manager with active text field using Scroll View along with Constraints in Objective C & Swift 4

Nothing but sugar.

📏 A plugin that integrates constraints in Sketch to lay out layers.

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

📺 CSP for vanilla JavaScript

📐 A set of custom layouts for UICollectionView with examples [Swift 5.3, iOS 12].

Enable PostgreSQL's CHECK constraints on ActiveRecord migrations

A Java implemented Texas holdem and short deck Solver

Swifty DSL for programmatic Auto Layout in iOS

Minesweeper player, solver and analyser in javascript

pySMT: A library for SMT formulae manipulation and solving

Open-source symbolic algebra library for C# and F#. One of the most powerful in .NET

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

Migration Validators project core classes