An open API service providing repository metadata for many open source software ecosystems.

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