Topic: "constraint-solver"
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.
Language: Java - Size: 233 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 3,384 - Forks: 957

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.
Language: Java - Size: 255 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 1,349 - Forks: 133

IjzerenHein/autolayout.js 📦
Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)
Language: JavaScript - Size: 1.39 MB - Last synced at: 28 days ago - Pushed at: over 3 years ago - Stars: 1,035 - Forks: 63

chocoteam/choco-solver
An open-source Java library for Constraint Programming
Language: Java - Size: 83.4 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 719 - Forks: 146

inamiy/Cassowary
An incremental linear constraint-solving algorithm (Auto Layout) in Swift.
Language: Swift - Size: 59.6 KB - Last synced at: 19 days ago - Pushed at: over 7 years ago - Stars: 503 - Forks: 17

dylanede/cassowary-rs
A Rust implementation of the Cassowary constraint solving algorithm
Language: Rust - Size: 645 KB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 340 - Forks: 24

apache/incubator-kie-optaplanner-quickstarts
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Language: Java - Size: 7.44 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 326 - Forks: 158

i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
Language: Haskell - Size: 108 KB - Last synced at: 14 days ago - Pushed at: 11 months ago - Stars: 306 - Forks: 16

Gecode/gecode
Generic Constraint Development Environment
Language: C++ - Size: 28.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 259 - Forks: 72

IjzerenHein/kiwi.js 📦
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
Language: JavaScript - Size: 406 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 249 - Forks: 24

mc-imperial/jfs
Constraint solver based on coverage-guided fuzzing
Language: C++ - Size: 1.64 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 244 - Forks: 20

NoteCAD/NoteCAD
Unity3d CAD system with C# Geometric Constraint Solver
Language: C# - Size: 5.2 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 184 - Forks: 52

lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
Language: TypeScript - Size: 555 KB - Last synced at: 2 days ago - Pushed at: 18 days ago - Stars: 173 - Forks: 9

lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
Language: C# - Size: 254 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 159 - Forks: 24

Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
Language: Julia - Size: 2.18 MB - Last synced at: 24 days ago - Pushed at: about 3 years ago - Stars: 137 - Forks: 14

tribalworldwidelondon/CassowarySwift
A Swift port of the Cassowary linear constraint solver
Language: Swift - Size: 42 KB - Last synced at: 11 days ago - Pushed at: over 6 years ago - Stars: 110 - Forks: 15

keshavvishwkarma/KVConstraintKit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
Language: Swift - Size: 7.3 MB - Last synced at: 27 days ago - Pushed at: over 6 years ago - Stars: 92 - Forks: 12

obijywk/grilops
a GRId LOgic Puzzle Solver library
Language: Python - Size: 1.23 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 75 - Forks: 6

compnerd/cassowary
A Swift implementation of the cassowary simplex solver
Language: Swift - Size: 80.1 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 54 - Forks: 9

informarte/yuck
Yuck is a local-search constraint solver with FlatZinc interface
Language: Scala - Size: 2.3 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 53 - Forks: 11

nangege/Cassowary
High performance swift implement of constraint solving algorithm cassowary
Language: Swift - Size: 47.9 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 51 - Forks: 5

Salusoft89/planegcs
A webassembly wrapper for FreeCAD's 2D geometric solver.
Language: C++ - Size: 3.07 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 49 - Forks: 10

hoaproject/Praspel 📦
The Hoa\Praspel library.
Language: PHP - Size: 343 KB - Last synced at: 4 days ago - Pushed at: over 8 years ago - Stars: 40 - Forks: 7

xcsp3team/ACE
Constraint Solver ACE
Language: Java - Size: 92.9 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 30 - Forks: 5

JuliaConstraints/LocalSearchSolvers.jl
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Language: Julia - Size: 1.69 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 30 - Forks: 0

johnwickerson/memalloy
Memory consistency modelling using Alloy
Language: OCaml - Size: 4.99 MB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 28 - Forks: 6

bsurprised/ShiftScheduler
A boilerplate ASP.NET Core project, including a sample employee shift scheduler app
Language: C# - Size: 163 KB - Last synced at: 6 days ago - Pushed at: almost 7 years ago - Stars: 28 - Forks: 12

JacobStoren/SolveSpaceLib
An insolated version of the constraint solver from SolveSpace: libslvs
Language: C++ - Size: 157 KB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 26 - Forks: 4

advancedresearch/quickbacktrack
Library for backtracking with customizable search for moves
Language: Rust - Size: 48.8 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 0

emarkou/Large-Scale-Optimization-Vehicle-Routing-Problem
Java Constraint Solvers for Vehicle Routing Problem (VRP)
Language: Java - Size: 55.7 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 7

julianthome/smtlibv2-grammar
ANTLR SMT-LIB v2 Grammar
Language: SMT - Size: 41 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 20 - Forks: 8

Tw1ddle/haxe-kiwi
:bird: Haxe port of Kiwi, an implementation of the Cassowary constraint solving algorithm
Language: Haxe - Size: 59.6 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2

mstang107/noq
Noq is an online logic puzzle solver using Python and clasp!
Language: Python - Size: 1.81 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 9 - Forks: 1

hycos/regex2smtlib
A regular expression to SMT-LIB constraint translator
Language: Java - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 2

lillo42/cassowary-csharp
A C#implementation of the Cassowary constraint solving algorithm
Language: C# - Size: 95.7 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 1

mstruzek/geometricsolver
Geometric constraint solver
Language: Java - Size: 16.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

svenkonings/JaCoMo
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
Language: Java - Size: 609 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 2

niibruce/ConstraintSolver
Implementation of Constraint Solvers in Java
Language: Java - Size: 150 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 2

thautwarm/rsolve.py
For constraint satisfaction problems in Python
Language: Python - Size: 33.2 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

xmg-hhu/xmg-webgui
Language: PHP - Size: 32.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

Tw1ddle/haxe-kiwi-demo
:bird: Demo of a Haxe port of the Kiwi linear constraint solver
Language: Haxe - Size: 3.71 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

TOTBWF/clphs
Constraint Logic Programming for Haskell
Language: Haskell - Size: 18.6 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 2

gglorian/Nacre Fork of crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language: C++ - Size: 395 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

cordisvictor/easycsp-lib
EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include NQueens, Sudoku. (Builds on Sourceforge)
Language: Java - Size: 449 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

sl-comp/sl-comp.github.io
Competition of Solvers for Separation Logic
Language: SCSS - Size: 262 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

tannerntannern/budgeteer
A specialized constraint solver for budget flows.
Language: TypeScript - Size: 152 KB - Last synced at: 16 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

eamsen/ace
Fast constraint satisfaction problem solver.
Language: C++ - Size: 1.82 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1

hoangmle/metaSMT Fork of agra-uni-bremen/metaSMT
Language: C++ - Size: 1.03 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 8

FlyingOE/simplex.q
Simplex solver for linear programming
Language: C++ - Size: 26.2 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 3

uyuni-project/subscription-matcher
Reports whether some installed SUSE products match a set of SUSE subscriptions
Language: Java - Size: 1.14 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1 - Forks: 7

yangeorget/nucs
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
Language: Python - Size: 2.45 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

luhanzhen/RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
Language: Rust - Size: 248 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

amit-maurya-507464/college-time-table-scheduler
This is a college Time Table scheduler project build in spring boot using Optaplanner Constraint solver.
Language: Java - Size: 1.65 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

KB9/JindoshRiddleSolver
A constraint solver for Dishonored 2's Jindosh Riddle.
Language: JavaScript - Size: 3.32 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

ryancollingwood/RankParser
Constraints solving (sequencing, priority) as a command line tool. Type your constraints in simple plain text. Generation of Graphviz compatible documents that can be rendered as a diagram!
Language: Python - Size: 716 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

ljwagerfield/reverso
Functional Constraint Solver for Scala.
Language: Scala - Size: 78.1 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

sukrutrao/MaxSAT-Solver
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
Language: C++ - Size: 126 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

jeuneS2/csolve
CSolve is a simple constraint solver
Language: C - Size: 348 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

kekepins/Choco-Sudoku-Solver
Language: Java - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

declanoller/or_tools_fun
Using the OR-Tools optimization suite to beat the Skyscraper game
Language: Python - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

delcypher/smt2coral
Language: Python - Size: 72.3 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

Artelys/KalisGallery
A collection of Artelys Kalis examples with Jupyter Notebook
Language: Jupyter Notebook - Size: 3.28 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

dimizuno/Course-Scheduling-POC
Proof of concept for solving a course scheduling CSP
Language: Java - Size: 1.41 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

CameleoGrey/greyjack-solver-rust
GreyJack Solver is the metaheuristic constraint solver for continuous, integer, mixed integer problems built on top of Polars
Language: Rust - Size: 8.83 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

JuanmaCopia/SymSolve
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
Language: Java - Size: 3.01 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

ansonl/mapColorizerConstraintSolver
Meaningfully assign colors to map regions with constraints based on neighbouring regions' values.
Language: Python - Size: 32.8 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

TheIttyBittyGalaxy/NaNoGenMo-2022
My entry into National Novel Generation Month 2022! I kept a short dev-diary at https://github.com/NaNoGenMo/2022/issues/4
Language: Lua - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

meitinger/ConstraintSolver
Constraint solver for FUN language programs.
Language: TypeScript - Size: 4.17 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

corentinleroux/DEC2-CONSTRAINT
Language: Java - Size: 4.85 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1

Tw1ddle/haxe-kiwi-unit-tests
Unit tests for Haxe Kiwi, an implementation of the Cassowary constraint solving algorithm
Language: Haxe - Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ptal/kobe
Constraint benchmarking tools for various solvers including GeCode, Chuffed and AbSolute.
Language: OCaml - Size: 381 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

niibruce/LateBindingSolitaire
Constraint models for solving Late Binding Solitaire in Essence Prime
Size: 85 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

alex-87/ConstraintEngine
Simple ADA package for constraint solving
Language: Ada - Size: 31.3 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Matoran/sudoku
Sudoku solver using constraint method and backtracking
Language: C++ - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

jakubkottnauer/hull-solver
A numerical constraint satisfaction problem (NCSP) solver using hull consistency and a branch-and-prune algorithm.
Language: TeX - Size: 450 KB - Last synced at: 6 days ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0
