|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
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 |
6 |
A fast lean and clean modern constraint programming solver implementation (in rust) |
Mar 10, 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 |
|
Rust |
3 |
Constraint based GUI for Rust |
Jul 29, 2020 |
|
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 |
|
Rust |
4 |
A Rust implementation of the Cassowary constraint solving algorithm |
Apr 24, 2023 |
|
Rust |
306 |
A Rust implementation of the Cassowary constraint solving algorithm |
May 21, 2023 |
|
Rust |
3 |
Rust programming |
Mar 05, 2023 |
|
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 |
|
Rust |
3 |
For rust programming |
Feb 18, 2023 |
|
Rust |
2 |
Rust Programming Language |
Mar 22, 2023 |
|
Rust |
4 |
Rust programming language |
Jan 02, 2023 |
|
Rust |
3 |
Rust Programming Practice |
May 18, 2023 |
|
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 |
|
Julia |
139 |
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. |
May 03, 2023 |
|
JavaScript |
4 |
A constraint modelling and rewriting library and compiler framework written in rust |
May 22, 2022 |
|
Rust |
6 |
Programming problems solved using Rust programming language |
May 18, 2023 |
|
Rust |
35 |
Logic programming, for Rust, from inside Rust. |
Mar 02, 2023 |
|
Rust |
2 |
generated when studying Rust with "Programming Rust" |
Feb 22, 2022 |
|
Rust |
6 |
Rust programming, in Esperanto. |
Mar 20, 2022 |
|
None |
8 |
Programming Bitcoin with Rust |
Jun 24, 2022 |
|
Shell |
13 |
Asynchronous Programming in Rust |
May 11, 2022 |
|
Shell |
1270 |
Asynchronous Programming in Rust |
Aug 11, 2022 |
|
Rust |
9897 |
The Rust Programming Language |
Aug 11, 2022 |
|
Rust |
1147 |
Rust programming, in French. |
Apr 26, 2023 |
|
Rust |
47 |
Rust programming, in Finnish. |
Apr 26, 2023 |
|
Rust |
2 |
The Rust Programming Language |
Jun 23, 2022 |
|
Rust |
2 |
Functional Reactive Programming - Rust |
Jun 21, 2022 |
|
None |
2 |
The Rust Programming Language |
Oct 19, 2021 |