|
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
|
Prolog |
144 |
Constraint Logic Programming over Integers |
Nov 27, 2022 |
|
|
Prolog |
140 |
Constraint Logic Programming over Finite Domains |
Nov 23, 2022 |
|
|
Clojure |
6 |
Teach a computer to solve regexcrossword.com puzzles with constraint logic programming |
Jun 14, 2022 |
|
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
|
Julia |
12 |
JuMP extensions for constraint programming. |
Aug 07, 2022 |
|
|
Prolog |
2 |
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint … |
Dec 26, 2023 |
|
|
Haskell |
3 |
Source code from The Haskell Road to Logic, Maths and Programming |
Sep 01, 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 |
|
|
Haskell |
10 |
A constraint solver for finite domains, written in Haskell. |
Nov 10, 2022 |
|
|
Scala |
8 |
A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … |
Oct 05, 2020 |
|
|
Clojure |
5 |
Logic Programming for Clojure |
Nov 26, 2017 |
|
|
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 |
|
|
Haskell |
2 |
Boolean logic thingy in haskell |
Aug 13, 2019 |
|
|
Haskell |
4 |
An inductive form set constraint solver in Haskell |
Apr 01, 2021 |
|
|
None |
5 |
Logic programming challenge |
Sep 21, 2022 |
|
|
HTML |
2 |
Programming logic - ONE |
Mar 07, 2023 |
|
|
Python |
6 |
Solving Sudoku puzzles using constraint programming |
Nov 23, 2020 |
|
|
Racket |
151 |
Constraint programming language embedded in Racket |
Apr 10, 2023 |
|
|
Python |
3 |
A sudoku solver,using constraint programming |
Feb 09, 2020 |
|
|
Java |
620 |
An open-source Java library for Constraint Programming |
Apr 28, 2023 |
|
|
Haskell |
66 |
Happy Haskell Programming |
May 30, 2022 |
|
|
Haskell |
2 |
Happy Haskell programming for editors |
Aug 18, 2019 |
|
|
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 |
|
|
Perl |
10 |
Continuation-based logic programming |
Jan 05, 2021 |
|
|
Dart |
2 |
Dart programming logic course |
Feb 14, 2023 |
|
|
Clojure |
2 |
Visual logic programming environment |
Jan 17, 2023 |
|
|
JavaScript |
2 |
📝 Programming logic exercises |
Aug 14, 2022 |
|
|
Python |
27 |
Logic Programming in Python |
Jul 10, 2022 |
|
|
Elixir |
8 |
logic programming in elixir |
Apr 11, 2023 |
|
|
C |
2 |
Plang logic programming language |
Dec 05, 2016 |
|
|
Rust |
143 |
logic programming in Rust |
May 22, 2023 |
|
|
Prolog |
24 |
biological logic programming toolkit |
Feb 12, 2022 |
|
|
Prolog |
40 |
logic programming with SPARQL |
Mar 12, 2023 |
|
|
Go |
2 |
Engine for logic programming in Go |
Aug 03, 2022 |
|
|
C# |
8 |
Simplified logic programming language for Unity3D |
Feb 03, 2023 |
|
|
Scheme |
3 |
Declarative logic programming environment for Scheme |
Feb 12, 2020 |
|
|
Haskell |
8 |
Modal logic in Haskell through Static Pointers |
May 17, 2022 |
|
|
Haskell |
3 |
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types |
May 30, 2021 |
|
|
Julia |
3 |
A package that stores Constraint Programming models for JuliaConstraints solvers |
Aug 11, 2022 |
|
|
Haskell |
2 |
Haskell bot for [RU] Programming Discord. |
Feb 16, 2022 |
|
|
Haskell |
15 |
Simple autograder for Haskell programming assignments |
Mar 20, 2023 |