optaplanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other planning problems

•    Java

---

OptaPlanner solves planning problems. This lightweight, embeddable planning engine implements powerful and scalable algorithms to optimize business resource scheduling and planning. This module is just the multiproject parent. The planning engine itself is in optaplanner-core.

optimization scheduling solver constraint-satisfaction-problem constraints vehicle-routing-problem constraint-programming traveling-salesman simulated-annealing constraint-solver hacktoberfest tabu-search branch-and-bound metaheuristics rostering employee-rostering

autolayout

•    Javascript

---

AutoLayout.js implements Apple's Auto Layout and Visual Format Language in Javascript. Auto layout is a system which lets you perform lay out using mathematical relationships (constraints). It uses the awesome Cassowary.js library to do the actual constraint resolving and implements Apple's constraint system and Visual Format Language (vfl) on top of that. It supports the Extended VFL syntax, including view-stacks and z-indexing. AutoLayout.js is an abstract library for integrating Auto Layout and VFL into other javascript technologies. It provides a simple API and programming model that you can use to build your own auto layout and VFL solution. A simple example of this is, is using position: absolute; to lay out DOM elements. A more elobarate example of this is the Visual Format Editor, which is built using famo.us and famous-flex. AutoLayout.js is written in ES6 and contains transpiled distribution files.

cassowary-constraints constraint-solver autolayout layout-engine visual-format-language vfl autolayoutjs autolayout.js auto-layout cassowary cassowaryjs cassowary.js evfl visualformatlanguage

Cassowary - An incremental linear constraint-solving algorithm (Auto Layout) in Swift.

•    Swift

---

An incremental linear constraint-solving algorithm (Auto Layout) in Swift.

cassowary algorithm simplex constraint-solver auto-layout linear-programming dsl

jfs - Constraint solver based on coverage-guided fuzzing

•    C++

---

JFS (JIT Fuzzing Solver) is an experimental constraint solver designed to investigate using coverage guided fuzzing as an incomplete strategy for solving boolean, BitVector, and floating-point constraints. JFS supports constraints in the SMT-LIBv2 constraint langauge in the QF_BV, QF_BVFP, and QF_FP logics. JFS's primary purpose however is solve floating-point constraints.

floating-point-arithmetic constraint-solver smtlibv2 smtlib fuzzing llvm libfuzzer z3 jit coverage-guided-fuzzing

cassowary-rs - A Rust implementation of the Cassowary constraint solving algorithm

•    Rust

---

This is a Rust implementation of the Cassowary constraint solving algorithm (Badros et. al 2001). It is based heavily on the implementation for C++ at nucleic/kiwi. The implementation does however differ in some details. Cassowary is designed for solving constraints to lay out user interfaces. Constraints typically take the form "this button must line up with this text box", or "this box should try to be 3 times the size of this other box". Its most popular incarnation by far is in Apple's Autolayout system for Mac OS X and iOS user interfaces. UI libraries using the Cassowary algorithm manage to achieve a much more natural approach to specifying UI layouts than traditional approaches like those found in HTML.

cassowary linear-programming layout gui constraint-solver

haxe-kiwi - :bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm

•    Haxe

---

haxe-kiwi is a port of Kiwi and Kiwi Java, implementations of the Cassowary constraint solving algorithm. Run the demo in your browser. Visit Overconstrained and join the Slack group to find out more about constraint solvers or get involved in development.

kiwi haxe-kiwi constraint-solving-algorithm cassowary constraint-solver haxe-port haxelib

kiwi.js - Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖

•    Javascript

---

Kiwi.js is a fast TypeScript implementation of the Cassowary constraint solving algorithm, based on the seminal Cassowary paper. Originally created by Chris Colbert, it was redesigned from the ground up to be lightweight, fast and easy to maintain. View the benchmarks to see how it compares to Cassowary.js. To run the benchmark in the browser, just visit this page.

cassowary constraint-solver kiwi typescript autolayout kiwi-solver kiwi.js

CassowarySwift - A Swift port of the Cassowary linear constraint solver

•    Swift

---

A Swift port of the Cassowary linear constraints solver. Tested on OS X, iOS and Linux.

cassowary constraint-solver

KVConstraintKit - An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.

•    Swift

---

KVConstraintKit supports all built-in layout attributes as of iOS, tvOS & OSX, see the NSLayoutAttribute enum.

autolayout constraints kvconstraintkit auto constraintkit view ios osx carthage dsl layout-guide nslayoutconstraint swift-extensions swift-library constraint layout constraint-solver tvos constraint-extension

optaweb-employee-rostering - Web application for solving Employee Rostering using OptaPlanner

•    TypeScript

---

OptaWeb Employee Rostering as a Service with OptaPlanner on OpenShift 4.

openshift optaplanner reactjs scheduling constraint-solver rostering employee-rostering shift-scheduling

optaweb-vehicle-routing - Web application for solving the Vehicle Routing Problem using OptaPlanner

•    Java

---

Web application for solving the Vehicle Routing Problem using OptaPlanner. If you’re on Linux or macOS, you can use runLocally.sh to start the application on your computer.

react spring-boot openshift optaplanner openstreetmap webapp vehicle-routing-problem vrp constraint-solver cvrp vrptw