Movatterモバイル変換

Skip to content

#

constraint-solver

Here are 85 public repositories matching this topic...

Language:All

Filter by language

All85 Java19 C++11 Python9 Rust6 Swift5 C#4 Haxe3 JavaScript3 TypeScript3 Haskell2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

incubator-kie-optaplanner

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.

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

UpdatedNov 23, 2025
Java

timefold-solver

TimefoldAI /timefold-solver

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

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

UpdatedNov 27, 2025
Java

IjzerenHein /autolayout.js

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

UpdatedDec 1, 2021
JavaScript

chocoteam /choco-solver

An open-source Java library for Constraint Programming

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

UpdatedNov 28, 2025
Java

inamiy /Cassowary

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

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

UpdatedSep 16, 2017
Swift

dylanede /cassowary-rs

A Rust implementation of the Cassowary constraint solving algorithm

rust gui layout linear-programming cassowary constraint-solver

UpdatedOct 24, 2019
Rust

apache /incubator-kie-optaplanner-quickstarts

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

UpdatedOct 22, 2025
Java

Gecode /gecode

Generic Constraint Development Environment

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

UpdatedNov 21, 2025
C++

i-am-tom /holmes

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

backtracking logic-programming constraint-solver propagation

UpdatedJul 2, 2024
Haskell

IjzerenHein /kiwi.js

Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖

javascript typescript autolayout kiwi cassowary constraint-solver kiwi-solver

UpdatedDec 2, 2021
JavaScript

mc-imperial /jfs

Constraint solver based on coverage-guided fuzzing

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

UpdatedNov 28, 2023
C++

NoteCAD /NoteCAD

Unity3d CAD system with C# Geometric Constraint Solver

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

UpdatedOct 12, 2023
C#

kiwi

lume /kiwi

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

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

UpdatedJun 28, 2025
TypeScript

lifebeyondfife /Decider

An Open Source .Net Constraint Programming Solver

c-sharp constraint-satisfaction-problem f-sharp constraint-programming constraint-solver optimisation

UpdatedApr 20, 2025
C#

ConstraintSolver.jl

Wikunia /ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->

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

UpdatedApr 30, 2022
Julia

tribalworldwidelondon /CassowarySwift

A Swift port of the Cassowary linear constraint solver

swift cassowary constraint-solver

UpdatedFeb 19, 2019
Swift

keshavvishwkarma /KVConstraintKit

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

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

UpdatedMar 5, 2019
Swift

obijywk /grilops

a GRId LOgic Puzzle Solver library

python python3 sudoku-solver z3 constraint-solver puzzle-solver puzzle-hunt puzzle-generator z3py

UpdatedSep 4, 2025
Python

Salusoft89 /planegcs

A webassembly wrapper for FreeCAD's 2D geometric solver.

typescript solver webassembly freecad constraint-solver solver-library constraint-solving

UpdatedApr 25, 2025
C++

informarte /yuck

Yuck is a local-search constraint solver with FlatZinc interface

optimization multi-objective-optimization constraint-solver minizinc flatzinc hierarchical-optimization vehicle-routing

UpdatedNov 7, 2025
Scala

Improve this page

Add a description, image, and links to theconstraint-solver topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theconstraint-solver topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp