#

constraint-solver

Here are 62 public repositories matching this topic...

optaplanner

kiegroup / optaplanner

Star

Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, conference scheduling and other planning problems.

java optimization scheduling solver constraint-satisfaction-problem constraints vehicle-routing-problem constraint-programming traveling-salesman simulated-annealing constraint-solver hacktoberfest tabu-search branch-and-bound metaheuristics rostering employee-rostering

Updated Nov 6, 2020
Java

IjzerenHein / autolayout.js

Star

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

Updated May 22, 2019
JavaScript

chocoteam / choco-solver

Star

Open

Composition of Search Strategy with different limit

3

bourreauEric commented Nov 16, 2017

Expected behavior

limit the first search strategy to 1 second in solve THEN use the second strategy (to improve the best so far solution)

Actual behavior

search.limit Monitor are attach to search and not strategy.

Minimal Working Example

Experienced with choco-solver-4.0.4

solv.setSearch(
new AbstractStrategy[] {
Search.intVarSearch(new MaxRegret(), new IntDoma

Read more

good first issue help wanted

Open

Improvements of IntVar Views

Open

FiniteAutomaton : declare a factory for intersection, etc.

inamiy / Cassowary

Star

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

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

Updated Sep 16, 2017
Swift

i-am-tom / holmes

Star

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

backtracking logic-programming constraint-solver propagation

Updated Apr 11, 2020
Haskell

dylanede / cassowary-rs

Star

A Rust implementation of the Cassowary constraint solving algorithm

rust gui layout linear-programming cassowary constraint-solver

Updated Oct 24, 2019
Rust

mc-imperial / jfs

Star

Constraint solver based on coverage-guided fuzzing

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

Updated Sep 5, 2019
C++

IjzerenHein / kiwi.js

Star

Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖

javascript typescript autolayout kiwi cassowary constraint-solver kiwi-solver

Updated Sep 11, 2020
JavaScript

Gecode / gecode

Star

Open

Investigate if rewriting to `cumulatives` is good for zero-length tasks when posting MiniZinc constraints `gecode_cumulatives`

zayenz commented Aug 28, 2020

In the registry function for gecode_cumulatives the case where the tasks may have zero-length duration and the bound is not assigned is currently decomposed into basic constraints.

An alternative re-write strategy would be to rewrite to cumulatives using multiple machines, wher

Read more

good first issue help wanted

Open

Try moving the decomposition of the MiniZinc `gecode_cumulatives` constraint into MiniZinc

Open

Expose Gecode scheduling constraints with (start, duration, end) tasks to MiniZinc

kiegroup / optaweb-employee-rostering

Star

Web application for solving Employee Rostering using OptaPlanner

java openshift optaplanner reactjs scheduling constraint-solver rostering employee-rostering shift-scheduling

Updated Nov 5, 2020
TypeScript

tribalworldwidelondon / CassowarySwift

Star

A Swift port of the Cassowary linear constraint solver

swift cassowary constraint-solver

Updated Feb 19, 2019
Swift

keshavvishwkarma / KVConstraintKit

Star

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

Updated Mar 5, 2019
Swift

kiegroup / optaweb-vehicle-routing

Star

Open

Add icons to Export, Clear and Add buttons

yurloc opened Aug 30, 2020

frontend good first issue

Open

Include timestamp in exported data set name

Open

Sort data sets alphabetically

Find more good first issues →

lifebeyondfife / Decider

Star

An Open Source .Net Constraint Programming Solver

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

Updated Jun 25, 2020
C#

ConstraintSolver.jl

Wikunia / ConstraintSolver.jl

Star

Open

Configure logging table

Wikunia commented Apr 21, 2020

It should be easier to configure the logging table. i.e setting the min_diff_duration.

Read more

good first issue help wanted

hoaproject / Praspel

Star

The Hoa\Praspel library.

testing php library constraint-solver hoa praspel contract-based-testing contract-coverage-criteria specification-language realistic-domains

Updated Jan 10, 2017
PHP

nangege / Cassowary

Star

High performance swift implement of constraint solving algorithm cassowary

autolayout cassowary constraint-solver simplex-algorithm

Updated Jun 2, 2020
Swift

informarte / yuck

Star

Yuck is a local-search constraint solver with FlatZinc interface

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

Updated Oct 28, 2020
Scala

Tw1ddle / haxe-kiwi

Star

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

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

Updated Nov 13, 2018
Haxe

johnwickerson / memalloy

Star

Memory consistency modelling using Alloy

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

Updated Oct 7, 2019
OCaml

advancedresearch / quickbacktrack

Star

Library for back tracking with customizable search for moves

constraint-solver backtracking-search customizable-search

Updated Sep 16, 2020
Rust

obijywk / grilops

Star

a GRId LOgic Puzzle Solver library

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

Updated Jul 16, 2020
Python

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

Star

Java Constraint Solvers for Vehicle Routing Problem (VRP)

optimization solver vehicle-routing-problem vrp local-search constraint-solver optimization-algorithms tabu-search large-scale-optimizations

Updated Oct 14, 2020
Java

julianthome / smtlibv2-grammar

Star

ANTLR SMT-LIB v2 Grammar

grammar antlr constraint-solver smt

Updated Oct 13, 2020
SMT

collins-research / FuzzM

Star

solver fuzzing lustre constraint-solver fuzz model-based jkind

Updated Apr 15, 2019
Java

bsurprised / ShiftScheduler

Star

A boilerplate ASP.NET Core project, including a sample employee shift scheduler app

docker ioc boilerplate dependency-injection integration-testing clean-architecture dotnet-core starter-kit constraint-solver n-tier angular6

Updated Aug 23, 2018
C#

hycos / regex2smtlib

Star

A regular expression to SMT-LIB constraint translator

translation regular-expression constraints smtlibv2 constraint-solver

Updated Nov 21, 2018
Java

thautwarm / rsolve.py

Star

For constraint satisfaction problems in Python

constraint-solver

Updated Oct 6, 2019
Python

Tw1ddle / haxe-kiwi-demo

Star

🐦 Demo of a Haxe port of the Kiwi linear constraint solver

haxe constraint kiwi haxeflixel cassowary haxe-port constraint-solver

Updated Jun 26, 2019
Haxe

xmg-hhu / xmg-webgui

Star

grammar webgui constraint-solver

Updated Sep 4, 2020
PHP

Improve this page

Add a description, image, and links to the constraint-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 the constraint-solver topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.