-
Updated
Aug 23, 2021 - Java
#
constraint-solver
Here are 65 public repositories matching this topic...
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
constraint-satisfaction-problem
artificial-intelligence
constraints
vehicle-routing-problem
constraint-programming
traveling-salesman
local-search
simulated-annealing
constraint-solver
tabu-search
branch-and-bound
metaheuristics
rostering
employee-rostering
traveling-salesman-problem
mathematical-optimization
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
An incremental linear constraint-solving algorithm (Auto Layout) in Swift.
-
Updated
Sep 16, 2017 - Swift
A reference library for constraint-solving with propagators and CDCL.
-
Updated
Dec 22, 2020 - Haskell
A Rust implementation of the Cassowary constraint solving algorithm
-
Updated
Oct 24, 2019 - Rust
Fast TypeScript implementation of the Cassowary constraint solving algorithm 🖖
-
Updated
Aug 11, 2021 - JavaScript
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++
zayenz
commented
Nov 18, 2020
As mentioned in MiniZinc/MiniZincIDE#125, adding the -s option to fzn-gecode overrides -mode gist which is surprising.
The best would probably be to make it possible for Gist to also output statistics, but making sure that -mode gist will actually start Gist is enough to solve this bug.
Web application for solving Employee Rostering using OptaPlanner
java
openshift
optaplanner
reactjs
scheduling
constraint-solver
rostering
employee-rostering
shift-scheduling
-
Updated
Aug 23, 2021 - TypeScript
yurloc
opened
Aug 30, 2020
A Swift port of the Cassowary linear constraint solver
-
Updated
Feb 19, 2019 - Swift
An Open Source .Net Constraint Programming Solver
c-sharp
constraint-satisfaction-problem
f-sharp
constraint-programming
constraint-solver
optimisation
-
Updated
Jun 11, 2021 - C#
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
Wikunia
commented
Apr 21, 2020
It should be easier to configure the logging table. i.e setting the min_diff_duration.
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
kotlin
java
spring-boot
gradle
maven
artificial-intelligence
constraint-solver
optimization-algorithms
mathematical-optimization
quarkus
-
Updated
Aug 23, 2021 - Java
High performance swift implement of constraint solving algorithm cassowary
-
Updated
Jun 2, 2020 - Swift
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
Yuck is a local-search constraint solver with FlatZinc interface
optimization
multi-objective-optimization
constraint-solver
minizinc
flatzinc
hierarchical-optimization
vehicle-routing
-
Updated
May 22, 2021 - Scala
Memory consistency modelling using Alloy
opencl
x86
armv7
model-checking
constraint-solver
c11
powerpc
memory-model
nvidia-gpus
compiler-design
-
Updated
Dec 16, 2020 - OCaml
-
Updated
Nov 13, 2018 - Haxe
Library for back tracking with customizable search for moves
-
Updated
Apr 11, 2021 - Rust
a GRId LOgic Puzzle Solver library
-
Updated
Jan 14, 2021 - Python
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
-
Updated
Jul 17, 2021 - Julia
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
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#
-
Updated
Apr 15, 2019 - Java
A regular expression to SMT-LIB constraint translator
-
Updated
Nov 21, 2018 - Java
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
-
Updated
May 30, 2021 - JavaScript
Improve this page
Add a description, image, and links to the constraint-solver topic page so that developers can more easily learn about it.
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."
It would be nice if Choco were able to support MiniZinc output format.