|
Prolog |
140 |
Constraint Logic Programming over Finite Domains |
Nov 23, 2022 |
|
Cython |
22 |
Python constraint programming library |
Jan 18, 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 |
15 |
Extensible library for finite element programming |
Nov 28, 2022 |
|
C++ |
2 |
constraint satisfication programming |
Sep 07, 2015 |
|
Prolog |
3 |
Logic Constraint Programming |
Nov 22, 2022 |
|
Java |
620 |
An open-source Java library for Constraint Programming |
Apr 28, 2023 |
|
C++ |
4 |
Finite Element Time Domain |
Feb 12, 2022 |
|
JavaScript |
3 |
Finite state machine domain |
Jul 16, 2021 |
|
Haskell |
26 |
Monadic Constraint Programming framework |
Mar 16, 2023 |
|
Rust |
75 |
Constraint programming in Rust |
Apr 29, 2023 |
|
Haskell |
10 |
A constraint solver for finite domains, written in Haskell. |
Nov 10, 2022 |
|
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 |
|
Nim |
45 |
Constraint solving library |
Apr 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 |
|
Raku |
5 |
A constraint programming tool for perl6 |
Feb 09, 2023 |
|
Python |
2 |
Constraint programming prototypes for assembly scheduling. |
Oct 30, 2023 |
|
C++ |
6 |
Finite Element Programming course materials |
Feb 15, 2023 |
|
Julia |
19 |
Extensions to MathOptInterface to support constraint programming. |
May 24, 2022 |
|
Jupyter Notebook |
7 |
Public repository for NOPT042 Constraint Programming tutorial |
Jan 18, 2024 |
|
JavaScript |
2 |
wave simulation with finite difference time domain method |
Mar 13, 2023 |
|
Python |
8 |
Finite element library |
Mar 12, 2023 |
|
MATLAB |
30 |
MATLAB Programming for Finite Element Methods |
Jul 01, 2022 |
|
Python |
85 |
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access. |
Jun 30, 2022 |
|
C++ |
5 |
A finite difference time domain solver for Maxwell's equations |
Aug 30, 2022 |
|
TypeScript |
176 |
A library of constraint templates and sample constraints for Constraint Framework tools |
Aug 10, 2022 |
|
C++ |
30 |
An object oriented finite element programming environment |
Apr 19, 2023 |
|
Java |
2 |
Java library for nonlinear (constraint) optimization. |
Mar 03, 2023 |
|
Python |
20 |
Simple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain … |
Aug 26, 2022 |
|
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 |
|
C++ |
794 |
free finite-difference time-domain (FDTD) software for electromagnetic simulations |
Oct 15, 2022 |
|
Python |
3 |
Understanding the Finite-Difference Time-Domain Method, implemented in Taichi |
Aug 02, 2022 |
|
Rust |
7 |
A Finite Difference Time Domain (FDTD) simulator written in Rust |
Jan 31, 2023 |
|
Kotlin |
3 |
Library with common types for Kotlin supporting domain-driven functional programming |
Feb 25, 2021 |
|
Text |
2 |
Finite state and Constraint Grammar based analysers and proofing tools + language resources for Lule … |
Mar 10, 2023 |
|
JavaScript |
5 |
Finite Field Library in Javascript |
Jun 16, 2022 |
|
JavaScript |
14 |
Finite Field Library in Javascript |
Aug 07, 2022 |
|
Ruby |
2 |
Finite-fields library in Ruby |
Mar 17, 2020 |
|
Mathematica |
2 |
Finite State Machine programming for mathematica via graphs |
Apr 11, 2017 |
|
Ruby |
56 |
Ruby bindings for Z3 constraint solver library |
Dec 15, 2022 |
|
D |
4 |
Cassowary constraint solving library for D language |
Dec 24, 2020 |
|
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 |