Here are 75 public repositories matching this topic "constraint-solver"
Repository
Created on June 18, 2023, 11:15 am
ai
artificial-intelligence
constraint-programming
constraint-solver
cvrp
employee-scheduling
java
maintenance-scheduling
metaheuristics
operations-research
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
Last updated on November 12, 2023, 4:33 am
Repository
Created on March 28, 2023, 2:33 pm
ai
artificial-intelligence
constraint-solver
cvrp
employee-scheduling
metaheuristics
optimization
vehicle-routing
vehicle-routing-problem
vrp
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
Last updated on December 3, 2023, 5:09 pm
Repository
Created on November 4, 2011, 9:09 am
constraint-programming
solver
constraints
csp
copr
constraint-satisfaction-problem
java
constraint-solver
constraint-optimisation-problem
An open-source Java library for Constraint Programming
Last updated on November 28, 2023, 7:02 am
Repository
Created on February 15, 2011, 7:38 pm
java
constraint-solver
constraint-programming
metaheuristics
tabu-search
simulated-annealing
branch-and-bound
rostering
optimization
constraints
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Last updated on December 1, 2023, 10:37 am
Repository
Created on November 21, 2017, 8:29 pm
floating-point-arithmetic
constraint-solver
smtlibv2
smtlib
fuzzing
llvm
libfuzzer
z3
jit
coverage-guided-fuzzing
Constraint solver based on coverage-guided fuzzing
Last updated on December 1, 2023, 4:50 am
Repository
Created on October 6, 2020, 3:23 pm
csp
constrained-optimization
constraint-programming
constraint-satisfaction-problem
constraint-solver
constraints
java
optimization
solver
xcsp3
Constraint Solver ACE
Last updated on November 15, 2023, 8:31 am
Repository
Created on November 6, 2015, 7:33 am
constraint-satisfaction-problem
constraint-programming
constraint-propagation
constraint-solver
constrained-optimization
constraint-satisfaction
Generic Constraint Development Environment
Last updated on November 28, 2023, 6:56 am
Repository
Created on November 24, 2023, 5:57 am
constraint-programming
constraint-satisfaction-problem
constraint-solver
constraint-solving-algorithm
parallel-computing
solver
xcsp3
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
Last updated on November 24, 2023, 3:43 pm
Repository
Created on March 9, 2019, 3:09 pm
a GRId LOgic Puzzle Solver library
Last updated on September 14, 2023, 2:16 pm
Repository
Created on March 23, 2023, 10:51 am
A webassembly wrapper for FreeCAD's 2D geometric solver.
Last updated on September 21, 2023, 8:48 am
Repository
Created on August 19, 2020, 7:56 am
java
kotlin
maven
gradle
quarkus
spring-boot
artificial-intelligence
optimization-algorithms
mathematical-optimization
constraint-solver
OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.
Last updated on November 24, 2023, 8:06 pm
Repository
Created on May 23, 2021, 3:38 am
cassowary
kiwi
autolayout
autolayout-constraints
constraints
constraint-layout
constraint-programming
constraint-solver
javascript
typescript
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
Last updated on December 2, 2023, 4:41 pm
Repository
Created on April 13, 2018, 7:54 am
Reports whether some installed SUSE products match a set of SUSE subscriptions
Last updated on December 20, 2021, 9:02 am
Repository
Created on September 19, 2018, 2:05 pm
Unity3d CAD system with C# Geometric Constraint Solver
Last updated on November 16, 2023, 4:03 pm
Repository
Created on June 19, 2016, 6:12 am
optimization
flatzinc
constraint-solver
minizinc
multi-objective-optimization
hierarchical-optimization
vehicle-routing
Yuck is a local-search constraint solver with FlatZinc interface
Last updated on September 11, 2023, 12:54 pm
Repository
Created on November 24, 2020, 1:18 am
A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Last updated on October 11, 2023, 1:10 pm
Repository
Created on July 5, 2019, 10:04 pm
A Swift implementation of the cassowary simplex solver
Last updated on November 17, 2023, 3:34 pm
Repository
Created on March 8, 2022, 9:28 pm
SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.
Last updated on August 3, 2023, 1:17 pm
Repository
Created on January 25, 2022, 5:37 am
Noq is an online logic puzzle solver using Python and clasp!
Last updated on December 3, 2023, 6:00 pm
Repository
Created on November 24, 2019, 7:15 pm
A reference library for constraint-solving with propagators and CDCL.
Last updated on November 24, 2023, 7:56 pm
Repository
Created on March 8, 2019, 11:22 am
Geometric constraint solver
Last updated on July 3, 2023, 12:42 pm
Repository
Created on March 13, 2023, 9:43 pm
A C#implementation of the Cassowary constraint solving algorithm
Last updated on July 29, 2023, 12:59 pm
Repository
Created on October 1, 2020, 7:11 pm
constraint-solver
constraint-programming
java
constraint-model
solver
constraints
constraint-satisfaction-problem
java-constraint-model
constraint-optimisation-problem
csp
A high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.
Last updated on July 27, 2022, 7:15 am
Repository
Created on July 22, 2021, 3:06 pm
This is a college Time Table scheduler project build in spring boot using Optaplanner Constraint solver.
Last updated on September 11, 2023, 1:38 pm
Repository
Created on October 16, 2018, 3:26 pm
Competition of Solvers for Separation Logic
Last updated on June 16, 2023, 1:59 am
Repository
Created on June 30, 2019, 8:49 pm
constraint-solver
constraint-programming
constraint-based-modeling
constraint-satisfaction-problem
game
dishonered-2
website
javascript
java
reactjs
A constraint solver for Dishonored 2's Jindosh Riddle.
Last updated on April 11, 2020, 8:04 pm
Repository
Created on April 11, 2021, 2:42 am
Meaningfully assign colors to map regions with constraints based on neighbouring regions' values.
Last updated on December 3, 2022, 11:22 pm
Repository
Created on November 6, 2022, 1:58 pm
constraint-solver
procedural-generation
procedural-text
lua
nanogenmo
nanogenmo2022
procedural-writing
procedural-fiction
My entry into National Novel Generation Month 2022! I kept a short dev-diary at https://github.com/NaNoGenMo/2022/issues/4
Last updated on November 7, 2022, 12:55 am
Repository
Created on June 14, 2013, 11:34 am
constraint-programming
constraint-satisfaction-problem
c-sharp
optimisation
constraint-solver
f-sharp
An Open Source .Net Constraint Programming Solver
Last updated on November 21, 2023, 6:38 pm
Repository
Created on August 15, 2019, 9:22 am
python
ply
ranking
constraint-solver
textual-descriptions
constraints
or-tools
constraint-programming
constraint-satisfaction-problem
constraint-satisfaction
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!
Last updated on December 22, 2021, 11:00 pm