chocoteam/choco-solver

An open-source Java library for Constraint Programming

Language: Java - Size: 82.1 MB - Last synced: about 6 hours ago - Pushed: about 7 hours ago - Stars: 674 - Forks: 135

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: 234 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 3,257 - Forks: 938

Salusoft89/planegcs

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

Language: C++ - Size: 1.75 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 14 - Forks: 2

xcsp3team/ACE

Constraint Solver ACE

Language: Java - Size: 83.3 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 23 - Forks: 5

apache/incubator-kie-optaplanner-quickstarts

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

Language: Java - Size: 7.39 MB - Last synced: 7 days ago - Pushed: about 1 month ago - Stars: 315 - Forks: 156

IjzerenHein/autolayout.js 📦

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

Language: JavaScript - Size: 1.39 MB - Last synced: 14 days ago - Pushed: over 2 years ago - Stars: 1,035 - Forks: 63

meitinger/ConstraintSolver

Constraint solver for FUN language programs.

Language: TypeScript - Size: 4.17 MB - Last synced: 19 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

IjzerenHein/kiwi.js 📦

Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖

Language: JavaScript - Size: 406 KB - Last synced: 14 days ago - Pushed: over 2 years ago - Stars: 248 - Forks: 24

lume/kiwi

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

Language: TypeScript - Size: 535 KB - Last synced: about 8 hours ago - Pushed: 4 months ago - Stars: 127 - Forks: 8

lillo42/cassowary-csharp

A C#implementation of the Cassowary constraint solving algorithm

Language: C# - Size: 95.7 KB - Last synced: 23 days ago - Pushed: 24 days ago - Stars: 4 - Forks: 1

dylanede/cassowary-rs

A Rust implementation of the Cassowary constraint solving algorithm

Language: Rust - Size: 645 KB - Last synced: 15 days ago - Pushed: over 4 years ago - Stars: 324 - Forks: 24

TimefoldAI/timefold-solver

The open source AI solver. 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

Language: Java - Size: 246 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 639 - Forks: 51

emarkou/Large-Scale-Optimization-Vehicle-Routing-Problem

Java Constraint Solvers for Vehicle Routing Problem (VRP)

Language: Java - Size: 55.7 KB - Last synced: 18 days ago - Pushed: over 3 years ago - Stars: 23 - Forks: 7

compnerd/cassowary

A Swift implementation of the cassowary simplex solver

Language: Swift - Size: 53.7 KB - Last synced: 11 days ago - Pushed: 9 months ago - Stars: 51 - Forks: 8

inamiy/Cassowary

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

Language: Swift - Size: 59.6 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 494 - Forks: 18

JuliaConstraints/LocalSearchSolvers.jl

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

Language: Julia - Size: 1.52 MB - Last synced: 28 days ago - Pushed: about 2 months ago - Stars: 26 - Forks: 0

luhanzhen/RuCos

RuCos is an extremely high-performance parallel constraint solver implemented by Rust.

Language: Rust - Size: 248 KB - Last synced: 21 days ago - Pushed: 30 days ago - Stars: 1 - Forks: 0

uyuni-project/subscription-matcher

Reports whether some installed SUSE products match a set of SUSE subscriptions

Language: Java - Size: 1.16 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 7

mstruzek/geometricsolver

Geometric constraint solver

Language: Java - Size: 16.7 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 4 - Forks: 0

Gecode/gecode

Generic Constraint Development Environment

Language: C++ - Size: 28.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 259 - Forks: 72

hoaproject/Praspel 📦

The Hoa\Praspel library.

Language: PHP - Size: 343 KB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 40 - Forks: 7

cordisvictor/easycsp-lib

EasyCSP is an open-source Java library for Constraint Satisfaction Programming.

Language: Java - Size: 439 KB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

NoteCAD/NoteCAD

Unity3d CAD system with C# Geometric Constraint Solver

Language: C# - Size: 5.2 MB - Last synced: about 2 months ago - Pushed: 7 months ago - Stars: 157 - Forks: 44

obijywk/grilops

a GRId LOgic Puzzle Solver library

Language: Python - Size: 1.23 MB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 61 - Forks: 6

lifebeyondfife/Decider

An Open Source .Net Constraint Programming Solver

Language: C# - Size: 248 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 140 - Forks: 21

informarte/yuck

Yuck is a local-search constraint solver with FlatZinc interface

Language: Scala - Size: 2.07 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 52 - Forks: 10

xmg-hhu/xmg-webgui

Language: PHP - Size: 32.4 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 3 - Forks: 0

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

Language: Java - Size: 160 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 11 - Forks: 6

i-am-tom/holmes

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

Language: Haskell - Size: 108 KB - Last synced: 16 days ago - Pushed: 2 months ago - Stars: 297 - Forks: 12

Wikunia/ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->

Language: Julia - Size: 2.18 MB - Last synced: 6 days ago - Pushed: about 2 years ago - Stars: 135 - Forks: 13

tribalworldwidelondon/CassowarySwift

A Swift port of the Cassowary linear constraint solver

Language: Swift - Size: 42 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 111 - Forks: 15

nangege/Cassowary

High performance swift implement of constraint solving algorithm cassowary

Language: Swift - Size: 46.9 KB - Last synced: 26 days ago - Pushed: almost 4 years ago - Stars: 48 - Forks: 7

advancedresearch/quickbacktrack

Library for back tracking with customizable search for moves

Language: Rust - Size: 46.9 KB - Last synced: 15 days ago - Pushed: over 1 year ago - Stars: 22 - Forks: 0

mc-imperial/jfs

Constraint solver based on coverage-guided fuzzing

Language: C++ - Size: 1.64 MB - Last synced: 2 months ago - Pushed: 6 months ago - Stars: 239 - Forks: 20

mstang107/noq

Noq is an online logic puzzle solver using Python and clasp!

Language: Python - Size: 1.63 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 5 - Forks: 0

tannerntannern/budgeteer

A specialized constraint solver for budget flows.

Language: TypeScript - Size: 152 KB - Last synced: 9 days ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

alex-87/ConstraintEngine

Simple ADA package for constraint solving

Language: Ada - Size: 31.3 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

ljwagerfield/reverso

Functional Constraint Solver for Scala.

Language: Scala - Size: 78.1 KB - Last synced: 9 months ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

johnwickerson/memalloy

Memory consistency modelling using Alloy

Language: OCaml - Size: 4.99 MB - Last synced: 9 months ago - Pushed: over 3 years ago - Stars: 24 - Forks: 5

Artelys/KalisGallery

A collection of Artelys Kalis examples with Jupyter Notebook

Language: Jupyter Notebook - Size: 3.28 MB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

JuanmaCopia/SymSolve

SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.

Language: Java - Size: 2.99 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

delcypher/smt2coral

Language: Python - Size: 72.3 KB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

hoangmle/metaSMT Fork of agra-uni-bremen/metaSMT

Language: C++ - Size: 1.03 MB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 8

sl-comp/sl-comp.github.io

Competition of Solvers for Separation Logic

Language: SCSS - Size: 262 KB - Last synced: 5 months ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1

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: 12 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

julianthome/smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar

Language: SMT - Size: 41 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 21 - Forks: 8

JacobStoren/SolveSpaceLib

An insolated version of the constraint solver from SolveSpace: libslvs

Language: C++ - Size: 157 KB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 12 - Forks: 2

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: 15 days ago - Pushed: about 5 years ago - Stars: 91 - Forks: 12

ansonl/mapColorizerConstraintSolver

Meaningfully assign colors to map regions with constraints based on neighbouring regions' values.

Language: Python - Size: 32.8 MB - Last synced: about 1 year ago - Pushed: over 1 year 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: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

hycos/regex2smtlib

A regular expression to SMT-LIB constraint translator

Language: Java - Size: 40 KB - Last synced: 11 months ago - Pushed: over 5 years ago - Stars: 9 - Forks: 2

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: 3 months ago - Pushed: 11 months ago - Stars: 4 - Forks: 2

corentinleroux/DEC2-CONSTRAINT

Language: Java - Size: 4.85 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 1

niibruce/ConstraintSolver

Implementation of Constraint Solvers in Java

Language: Java - Size: 150 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 2

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: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - 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: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - 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: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

Tw1ddle/haxe-kiwi

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

Language: Haxe - Size: 59.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 19 - Forks: 2

FlyingOE/simplex.q

Simplex solver for linear programming

Language: C++ - Size: 26.2 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 2 - Forks: 3

TOTBWF/clphs

Constraint Logic Programming for Haskell

Language: Haskell - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 3 - Forks: 2

ptal/kobe

Constraint benchmarking tools for various solvers including GeCode, Chuffed and AbSolute.

Language: OCaml - Size: 381 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

eamsen/ace

Fast constraint satisfaction problem solver.

Language: C++ - Size: 1.82 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - 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: 4 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

kekepins/Choco-Sudoku-Solver

Language: Java - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1

sukrutrao/MaxSAT-Solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

Language: C++ - Size: 126 KB - Last synced: about 1 year ago - Pushed: over 4 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: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

niibruce/LateBindingSolitaire

Constraint models for solving Late Binding Solitaire in Essence Prime

Size: 85 KB - Last synced: about 1 year ago - Pushed: almost 4 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: about 1 month ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

KB9/JindoshRiddleSolver

A constraint solver for Dishonored 2's Jindosh Riddle.

Language: JavaScript - Size: 3.32 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

thautwarm/rsolve.py

For constraint satisfaction problems in Python

Language: Python - Size: 33.2 KB - Last synced: about 16 hours ago - Pushed: over 4 years ago - Stars: 4 - Forks: 0

jeuneS2/csolve

CSolve is a simple constraint solver

Language: C - Size: 348 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

Matoran/sudoku

Sudoku solver using constraint method and backtracking

Language: C++ - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0