Projects in Awesome Lists tagged with constraint-solver

https://github.com/apache/incubator-kie-optaplanner

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

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

Last synced: 12 May 2025

https://github.com/timefoldai/timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java kotlin maintenance-scheduling operations-research optimization-algorithms planning-algorithms python resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 13 May 2025

https://github.com/ijzerenhein/autolayout.js

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

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

Last synced: 18 Jan 2025

https://github.com/IjzerenHein/autolayout.js

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

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

Last synced: 31 Mar 2025

https://github.com/TimefoldAI/timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java kotlin maintenance-scheduling operations-research optimization-algorithms planning-algorithms python resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 05 Apr 2025

https://github.com/chocoteam/choco-solver

An open-source Java library for Constraint Programming

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

Last synced: 06 May 2025

https://github.com/inamiy/cassowary

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

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

Last synced: 07 Apr 2025

https://github.com/apache/incubator-kie-optaplanner-quickstarts

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

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

Last synced: 15 May 2025

https://github.com/i-am-tom/holmes

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

backtracking constraint-solver logic-programming propagation

Last synced: 04 Apr 2025

https://github.com/mc-imperial/jfs

Constraint solver based on coverage-guided fuzzing

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

Last synced: 21 Apr 2025

https://github.com/NoteCAD/NoteCAD

Unity3d CAD system with C# Geometric Constraint Solver

cad constraint-solver drafting geometric-constraint-solver inverse-kinematics line line-renderer

Last synced: 04 Apr 2025

https://github.com/wikunia/constraintsolver.jl

ConstraintSolver in Julia: Blog posts ->

constraint-programming constraint-solver graph-coloring julia solver sudoku

Last synced: 13 Apr 2025

https://github.com/lume/kiwi

Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).

assemblyscript autolayout autolayout-constraints cassowary constraint-layout constraint-programming constraint-solver constraints javascript kiwi typescript webassembly

Last synced: 05 Apr 2025

https://github.com/tribalworldwidelondon/CassowarySwift

A Swift port of the Cassowary linear constraint solver

cassowary constraint-solver swift

Last synced: 25 Mar 2025

https://github.com/keshavvishwkarma/KVConstraintKit

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

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

Last synced: 25 Mar 2025

https://github.com/keshavvishwkarma/kvconstraintkit

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

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

Last synced: 15 Jun 2025

https://github.com/compnerd/cassowary

A Swift implementation of the cassowary simplex solver

cassowary constraint-solver swift

Last synced: 25 Mar 2025

https://github.com/juliaconstraints/localsearchsolvers.jl

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

constraint-programming constraint-solver local-search

Last synced: 07 May 2025

https://github.com/johnwickerson/memalloy

Memory consistency modelling using Alloy

armv7 c11 compiler-design constraint-solver memory-model model-checking nvidia-gpus opencl powerpc x86

Last synced: 11 Jun 2025

https://github.com/tw1ddle/haxe-kiwi

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

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

Last synced: 01 Mar 2025

https://github.com/timefoldai/timefold-solver-enterprise

Timefold's commercial offering, enhancing Timefold Solver Community Edition with additional features. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java maintenance-scheduling metaheuristics operations-research optimization optimization-library planning-algorithms resource-allocation solver-library timefold vehicle-routing vehicle-routing-problem vrp vrptw