|
Julia |
19 |
Extensions to MathOptInterface to support constraint programming. |
May 24, 2022 |
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 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 |
|
Julia |
20 |
Set Programming with JuMP |
Mar 03, 2023 |
|
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 |
|
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 |
2 |
A MOI/JuMP interface for `LocalSearchSolvers.jl`, a Constraint-Based Local Search (CBLS) framework |
Jun 17, 2021 |
|
Julia |
9 |
A JuMP extension for Generalized Disjunctive Programming |
Aug 19, 2022 |
|
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 |
|
Java |
620 |
An open-source Java library for Constraint Programming |
Apr 28, 2023 |
|
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 |
3 |
A package that stores Constraint Programming models for JuliaConstraints solvers |
Aug 11, 2022 |
|
Vim script |
9 |
Vim extensions for programming in NASL |
May 31, 2022 |
|
Kotlin |
7 |
BASU Android programming jump start workshop . October 17,2018 |
Jun 19, 2022 |
|
Java |
14 |
Programming language based on the synchronous and constraint paradigms |
Mar 31, 2021 |
|
Julia |
134 |
Functional reactive programming extensions library for Julia |
Nov 26, 2022 |
|
C++ |
26 |
C++ extensions for readable event-driven programming |
Mar 20, 2023 |
|
Python |
25 |
The simplest programming language - Flip a bit, then Jump |
Aug 07, 2022 |
|
Java |
43 |
Kiwi is a minimalist and extendable Constraint Programming (CP) solver. |
Jul 26, 2022 |
|
Rust |
465 |
The Reactive Extensions for the Rust Programming Language |
Jul 27, 2022 |
|
C |
21 |
Programming runtime extensions for Open vSwitch with P4 |
Aug 09, 2022 |
|
C++ |
3 |
Functional Programming extensions to C++ for ROS projects. |
Jun 28, 2023 |
|
Clojure |
6 |
Teach a computer to solve regexcrossword.com puzzles with constraint logic programming |
Jun 14, 2022 |
|
JavaScript |
10 |
Functional programming extensions for JS. Lightweight replacement for Lodash. |
Feb 06, 2022 |
|
Python |
2 |
A cheat engine for Wechat Jump Jump Game |
Feb 20, 2023 |
|
Python |
12 |
Wechat's Jump-Jump auto gamer. |
Jan 11, 2018 |
|
Go |
347 |
go-jump: Jump consistent hashing |
Aug 13, 2022 |
|
Python |
3 |
Constraint learning for spreadsheets |
Sep 27, 2021 |
|
Java |
9 |
The ultimate Bukkit double jump plugin: double jump, triple jump, infinite jump and more ! |
Feb 09, 2023 |
|
C# |
53 |
A set of helpers and extensions for C# programming. |
Apr 05, 2023 |
|
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 |
|
Ruby |
17 |
Some extensions to the Ruby programming language. |
May 18, 2022 |
|
TypeScript |
176 |
A library of constraint templates and sample constraints for Constraint Framework tools |
Aug 10, 2022 |
|
Perl |
7 |
Type constraint framework for Perl5 |
Sep 08, 2014 |
|
Rust |
40 |
Constraint solver for word games. |
Aug 07, 2022 |