constraint-solver

Here are 69 public repositories matching this topic...

kiegroup / optaplanner

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

java optimization scheduling solver constraint-satisfaction-problem artificial-intelligence constraints vehicle-routing-problem constraint-programming traveling-salesman local-search simulated-annealing constraint-solver tabu-search branch-and-bound metaheuristics rostering employee-rostering traveling-salesman-problem mathematical-optimization

Updated Sep 27, 2022
Java

IjzerenHein / autolayout.js

Sponsor

Star

Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)

javascript layout-engine autolayout constraint-solver visual-format-language cassowary-constraints vfl

Updated Dec 1, 2021
JavaScript

chocoteam / choco-solver

Star

An open-source Java library for Constraint Programming

java csp solver constraint-satisfaction-problem constraints constraint-programming constraint-solver copr constraint-optimisation-problem

Updated Sep 26, 2022
Java

inamiy / Cassowary

Star

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

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

Updated Sep 16, 2017
Swift

dylanede / cassowary-rs

Star

A Rust implementation of the Cassowary constraint solving algorithm

rust gui layout linear-programming cassowary constraint-solver

Updated Oct 24, 2019
Rust

i-am-tom / holmes

Star

A reference library for constraint-solving with propagators and CDCL.

backtracking logic-programming constraint-solver propagation

Updated Jan 5, 2022
Haskell

IjzerenHein / kiwi.js

Sponsor

Star

Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖

javascript typescript autolayout kiwi cassowary constraint-solver kiwi-solver

Updated Dec 2, 2021
JavaScript

mc-imperial / jfs

Star

Constraint solver based on coverage-guided fuzzing

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

Updated Sep 5, 2019
C++

Gecode / gecode

Star

Generic Constraint Development Environment

constraint-satisfaction-problem constrained-optimization constraint-programming constraint-solver constraint-satisfaction constraint-propagation

Updated Jul 14, 2022
C++

kiegroup / optaplanner-quickstarts

Star

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

kotlin java spring-boot gradle maven solver artificial-intelligence constraint-solver operations-research optimization-algorithms mathematical-optimization quarkus

Updated Sep 27, 2022
Java

kiegroup / optaweb-employee-rostering

Star

Web application for solving Employee Rostering using OptaPlanner. This project is no longer maintained. Visit https://github.com/kiegroup/optaplanner-quickstarts to see how to integrate OptaPlanner in your application.

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