|
|
Python |
209 |
An abstraction layer for constraint solvers. |
Aug 11, 2022 |
|
|
Elixir |
12 |
Constraint satisfaction solvers in Elixir |
May 18, 2023 |
|
|
Julia |
17 |
A Julia package to manage Constraint-Based Local Search (CBLS) solvers. |
Feb 05, 2022 |
|
|
Python |
6 |
Using constraint solvers to do puzzles |
Oct 14, 2021 |
|
|
Java |
20 |
Java Constraint Solvers for Vehicle Routing Problem (VRP) |
Feb 27, 2023 |
|
|
Python |
2 |
CP models for various solvers |
Apr 25, 2014 |
|
|
Rust |
30 |
An experiment in writing algebraic constraint solvers for 3D CAD |
Jun 28, 2022 |
|
|
Python |
33 |
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers |
Jul 28, 2022 |
|
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
|
Python |
7 |
Solvers for sigmoidal programming problems |
May 22, 2022 |
|
|
Julia |
12 |
JuMP extensions for constraint programming. |
Aug 07, 2022 |
|
|
Haskell |
3 |
Constraint Logic Programming for Haskell |
Mar 30, 2021 |
|
|
Haskell |
26 |
Monadic Constraint Programming framework |
Mar 16, 2023 |
|
|
Cython |
22 |
Python constraint programming library |
Jan 18, 2023 |
|
|
Rust |
75 |
Constraint programming in Rust |
Apr 29, 2023 |
|
|
Raku |
5 |
A constraint programming tool for perl6 |
Feb 09, 2023 |
|
|
Python |
2 |
Constraint programming prototypes for assembly scheduling. |
Oct 30, 2023 |
|
|
C++ |
65 |
Optimization models using various solvers |
May 21, 2023 |
|
|
Julia |
2 |
Differentiable constraint-based metabolic models |
Jul 11, 2022 |
|
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
|
Prolog |
144 |
Constraint Logic Programming over Integers |
Nov 27, 2022 |
|
|
C++ |
10 |
Unified C++ interface for quadratic programming solvers |
Aug 12, 2022 |
|
|
None |
2 |
A Library for Constraint Programming in F# |
Nov 06, 2020 |
|
|
Jupyter Notebook |
7 |
Public repository for NOPT042 Constraint Programming tutorial |
Jan 18, 2024 |
|
|
Julia |
3 |
Set of models and solvers for Variational Inequalities |
Nov 24, 2021 |
|
|
Python |
6 |
Solving Sudoku puzzles using constraint programming |
Nov 23, 2020 |
|
|
Racket |
151 |
Constraint programming language embedded in Racket |
Apr 10, 2023 |
|
|
Prolog |
140 |
Constraint Logic Programming over Finite Domains |
Nov 23, 2022 |
|
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
|
Python |
29 |
Benchmark for quadratic programming solvers available in Python |
Apr 25, 2023 |
|
|
Java |
620 |
An open-source Java library for Constraint Programming |
Apr 28, 2023 |
|
|
JavaScript |
2 |
Define custom stores for reactive programming |
Apr 16, 2023 |
|
|
C++ |
2 |
Iterative Linear Solvers for the Legion Parallel Programming System |
Dec 10, 2022 |
|
|
Julia |
66 |
Experimental first-order solvers for linear and quadratic programming. |
Jul 17, 2022 |
|
|
Julia |
19 |
Extensions to MathOptInterface to support constraint programming. |
May 24, 2022 |
|
|
JavaScript |
60 |
Finite domain constraint programming library in JS |
Jan 12, 2023 |
|
|
Julia |
5 |
Wrapper for the constraint-programming solver Chuffed to Julia |
May 24, 2022 |
|
|
Python |
139 |
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization |
Apr 29, 2023 |
|
|
Julia |
2 |
PALEO framework modules (solvers, output, plots) for constructing standalone models |
Apr 24, 2023 |
|
|
Julia |
4 |
A CPU- and GPU-friendly package for linear solvers |
Nov 09, 2020 |
|
|
Java |
2 |
JOSEV add-on package for parsing pub version constraint |
May 03, 2022 |
|
|
Rust |
8 |
library implementing interaction with various linear programming solvers |
Mar 14, 2023 |
|
|
R |
24 |
R package that provides estimation methods for Gravity Models |
Jun 07, 2022 |
|
|
PHP |
2 |
Laravel package that adds custom casts for models attributes |
Jun 05, 2022 |
|
|
Python |
2 |
Stores the MHub models dockerfiles and scripts. |
Nov 20, 2023 |
|
|
Python |
21 |
Linear programming solvers in Python with a unified API |
Feb 18, 2023 |
|
|
Python |
382 |
Quadratic programming solvers in Python with a unified API |
Apr 25, 2023 |
|
|
Java |
14 |
Programming language based on the synchronous and constraint paradigms |
Mar 31, 2021 |
|
|
JavaScript |
1461 |
An Atom package that allows for epic pair programming |
Aug 20, 2022 |