|
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
|
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 |
|
|
Julia |
12 |
JuMP extensions for constraint programming. |
Aug 07, 2022 |
|
|
Prolog |
144 |
Constraint Logic Programming over Integers |
Nov 27, 2022 |
|
|
Haskell |
3 |
Constraint Logic Programming for Haskell |
Mar 30, 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 |
|
|
Raku |
5 |
A constraint programming tool for perl6 |
Feb 09, 2023 |
|
|
Python |
2 |
Constraint programming prototypes for assembly scheduling. |
Oct 30, 2023 |
|
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
|
None |
2 |
A Library for Constraint Programming in F# |
Nov 06, 2020 |
|
|
Julia |
19 |
Extensions to MathOptInterface to support constraint programming. |
May 24, 2022 |
|
|
JavaScript |
60 |
Finite domain constraint programming library in JS |
Jan 12, 2023 |
|
|
Jupyter Notebook |
7 |
Public repository for NOPT042 Constraint Programming tutorial |
Jan 18, 2024 |
|
|
Java |
620 |
An open-source Java library for Constraint Programming |
Apr 28, 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 |
|
|
Java |
14 |
Programming language based on the synchronous and constraint paradigms |
Mar 31, 2021 |
|
|
Julia |
3 |
A package that stores Constraint Programming models for JuliaConstraints solvers |
Aug 11, 2022 |
|
|
Java |
43 |
Kiwi is a minimalist and extendable Constraint Programming (CP) solver. |
Jul 26, 2022 |
|
|
Clojure |
6 |
Teach a computer to solve regexcrossword.com puzzles with constraint logic programming |
Jun 14, 2022 |
|
|
Java |
90 |
Declarative cluster management using constraint programming, where constraints are described using SQL. |
May 20, 2022 |
|
|
Rust |
6 |
A fast lean and clean modern constraint programming solver implementation (in rust) |
Mar 10, 2023 |
|
|
Julia |
139 |
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. |
May 03, 2023 |
|
|
Java |
468 |
Constraint Layout Codelab |
Jun 06, 2022 |
|
|
Ballerina |
2 |
Ballerina Constraint Module |
Jul 19, 2022 |
|
|
None |
2 |
Ballerina Constraint Module |
Aug 26, 2022 |
|
|
PHP |
8 |
PHPUnit AccessorPair constraint |
May 19, 2022 |
|
|
Jupyter Notebook |
7 |
Shape COnstraint REstoration |
Aug 14, 2022 |
|
|
Nim |
45 |
Constraint solving library |
Apr 07, 2023 |
|
|
TypeScript |
37 |
Geometric Constraint Solver |
Apr 26, 2023 |
|
|
Java |
14 |
Constraint Solver ACE |
Apr 04, 2023 |
|
|
Haskell |
47 |
Constraint-based generics |
Jan 23, 2023 |
|
|
Python |
85 |
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access. |
Jun 30, 2022 |
|
|
Prolog |
2 |
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint … |
Dec 26, 2023 |
|
|
Java |
3 |
Demo OptaPlanner constraint solver |
Mar 30, 2022 |
|
|
Jupyter Notebook |
22 |
Constraint Optimization with Lava |
Jun 13, 2022 |
|
|
Elixir |
33 |
A configurable constraint solver |
Aug 16, 2022 |
|
|
Haskell |
109 |
constraint level if statements |
Jul 02, 2022 |
|
|
Python |
7 |
Regression Constraint Model Upgrade |
Feb 03, 2023 |
|
|
Python |
3 |
Constraint learning for spreadsheets |
Sep 27, 2021 |
|
|
None |
2 |
abap time constraint utilites |
Oct 29, 2020 |
|
|
Kotlin |
2 |
Learn about constraint layout |
Mar 29, 2023 |
|
|
Racket |
8 |
solve constraint-satisfaction problems |
Jan 27, 2023 |
|
|
Kotlin |
3 |
Constraint Satisfaction Problem Implementation |
May 03, 2019 |
|
|
TeX |
6 |
online global constraint catalog |
Sep 12, 2022 |