|
|
Java |
2718 |
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, … |
Sep 02, 2022 |
|
|
Python |
2 |
Distributed Constraint Optimization Problems Solver |
Jan 17, 2024 |
|
|
Jupyter Notebook |
2 |
Optimize the GA agenda! (i.e., genetic algorithms optimize scheduling problems) |
Jan 13, 2023 |
|
|
Java |
51 |
Local-search based solver of Constraint Satisfaction and Optimization Problems |
Feb 11, 2023 |
|
|
TypeScript |
37 |
Geometric Constraint Solver |
Apr 26, 2023 |
|
|
Java |
14 |
Constraint Solver ACE |
Apr 04, 2023 |
|
|
Rust |
40 |
Constraint solver for word games. |
Aug 07, 2022 |
|
|
Python |
2 |
Constraint programming prototypes for assembly scheduling. |
Oct 30, 2023 |
|
|
C |
2 |
Constraint Satisfaction Problems and Puzzles |
Jul 08, 2019 |
|
|
Haskell |
2 |
SHErrLoc constraint solver and error localizer |
Apr 25, 2023 |
|
|
C# |
70 |
APS(Advanced Planning and Scheduling/Production Planning)C# |
Aug 18, 2022 |
|
|
Java |
3 |
Demo OptaPlanner constraint solver |
Mar 30, 2022 |
|
|
Elixir |
33 |
A configurable constraint solver |
Aug 16, 2022 |
|
|
Python |
2 |
Dynamically optimize job scheduling |
Nov 02, 2022 |
|
|
Jupyter Notebook |
5 |
Optimize Workforce Planning using Linear Programming with Python |
Mar 16, 2023 |
|
|
C# |
2 |
An incremental constraint solver for .NET |
Mar 08, 2022 |
|
|
Python |
9 |
Multiset Constraint Solver for Multi-SAT |
Mar 19, 2021 |
|
|
Python |
8 |
Dorado observation planning and scheduling simulations |
Jul 29, 2022 |
|
|
Lua |
2 |
A Constraint Solver in Lua |
May 08, 2022 |
|
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
|
Racket |
8 |
solve constraint-satisfaction problems |
Jan 27, 2023 |
|
|
Python |
12 |
Simultaneous task allocation and motion scheduling (STAAMS) solver based on constraint programming and optimization, implemented … |
Jun 02, 2022 |
|
|
SMT |
4 |
A constraint solver abstraction layer for Java |
Jul 20, 2022 |
|
|
C++ |
3 |
Racket bindings for the Rhea constraint solver |
Mar 20, 2017 |
|
|
C++ |
17 |
Demo for the Simple 2D Constraint Solver. |
Aug 11, 2022 |
|
|
Ruby |
56 |
Ruby bindings for Z3 constraint solver library |
Dec 15, 2022 |
|
|
Java |
3 |
Solver for SGMWCS and GMWCS problems |
Apr 23, 2023 |
|
|
Java |
4 |
A CP-based solver built on Choco for Employee Timetabling Problems with preferences to optimize. |
Dec 20, 2021 |
|
|
Python |
2 |
A Scalable Sudoku and Constraint Satisfaction Problem Solver |
Mar 14, 2018 |
|
|
Zig |
2 |
A cassowary constraint solver in zig |
Oct 28, 2021 |
|
|
Scala |
3 |
A Toy Constraint Solver in Scala |
Apr 04, 2021 |
|
|
OCaml |
9 |
Constraint solver based on abstract interpretation |
Mar 11, 2023 |
|
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
|
Rust |
5 |
An undirected graph constraint solver for node and edge colors |
Nov 09, 2021 |
|
|
Python |
35 |
AI framework for Reinforcement Learning, Automated Planning and Scheduling |
Aug 11, 2022 |
|
|
Prolog |
6 |
Constraint solver for nonlinear (polynomial) constraints over reals |
May 05, 2020 |
|
|
Python |
2 |
A constraint-based solver for TVM Relay (WIP) |
Dec 19, 2022 |
|
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
|
Python |
4 |
Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python |
Jun 18, 2022 |
|
|
Python |
85 |
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access. |
Jun 30, 2022 |
|
|
Roff |
45 |
A solver for Packing Problems |
Apr 23, 2023 |
|
|
C++ |
5 |
COmpact SOlver for COnstrained problems |
Jan 04, 2023 |
|
|
Java |
4 |
Sudoku solver using various Constraint Satisfaction heuristics |
Jul 10, 2020 |
|
|
C++ |
5 |
A constraint solver purely on GPUs (CUDA) |
Feb 17, 2023 |
|
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |
|
|
Haskell |
10 |
A constraint solver for finite domains, written in Haskell. |
Nov 10, 2022 |
|
|
C |
2 |
A multiphase solver for cavitation and boiling problems. |
Jul 30, 2022 |
|
|
Java |
21 |
A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking |
Mar 23, 2020 |
|
|
Java |
43 |
Kiwi is a minimalist and extendable Constraint Programming (CP) solver. |
Jul 26, 2022 |
|
|
C++ |
4 |
Static and dynamic geometry processing with constraint solver, MPL2 licensed. |
Nov 05, 2022 |