Stars
6
Forks
1
Language
Julia
Last Updated
May 18, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Elixir | 12 | Constraint satisfaction solvers in Elixir | May 18, 2023 | |
Racket | 8 | solve constraint-satisfaction problems | Jan 27, 2023 | |
Julia | 2 | Solvers for Ferrite.jl problems | Dec 15, 2022 | |
C | 2 | Constraint Satisfaction Problems and Puzzles | Jul 08, 2019 | |
Python | 33 | PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers | Jul 28, 2022 | |
Python | 7 | Solvers for sigmoidal programming problems | May 22, 2022 | |
C | 68 | Parallel solvers for optimization problems | Sep 08, 2022 | |
Python | 2 | AlgorithmX Problems and Solvers | Mar 26, 2022 | |
C++ | 3 | Solvers for geometric Shape Optimization problems | Jun 08, 2022 | |
TypeScript | 4 | 🛠️ Tools to solve constraint satisfaction problems | Aug 05, 2022 | |
Julia | 5 | Solvers of optimal control problems | Apr 27, 2023 | |
C++ | 46 | C++ solvers for Minimum Cost Flow Problems | May 12, 2023 | |
Fortran | 2 | Hairer-Wanner solvers for stiff ODE problems | Oct 09, 2023 | |
Python | 57 | Graph optimization solvers for the Postman Problems | Jan 17, 2024 | |
Prolog | 3 | :mag_right: Constraint satisfaction problems implemented in ECLiPSe Prolog | Apr 02, 2023 | |
Python | 8 | Sparse representation solvers for P0- and P1-problems | Jan 12, 2023 | |
Python | 6 | Using algorithms involving backtracking to solve constraint satisfaction problems | May 16, 2022 | |
HTML | 5 | Dagster - Parallel Structured Search for Boolean Satisfiability (SAT) problems | Dec 16, 2022 | |
Java | 51 | Local-search based solver of Constraint Satisfaction and Optimization Problems | Feb 11, 2023 | |
JavaScript | 2 | A library for managing CSP, constraint satisfaction problems in AI and more | Jan 10, 2015 | |
Rust | 3 | A debuggable automatic theorem prover for boolean satisfiability problems (SAT). | Nov 09, 2021 | |
Python | 43 | A testbed of simulation-optimization problems and solvers | May 13, 2023 | |
Python | 3 | Sequential Convex Optimization for TAMP problems with multiple backend solvers! | Apr 17, 2022 | |
Python | 17 | Map constraint satisfaction problems with binary variables to binary quadratic models. | Mar 22, 2023 | |
Julia | 251 | Julia solvers for systems of nonlinear equations and mixed complementarity problems | Aug 03, 2022 | |
Jupyter Notebook | 5 | Earth Science PRoblems for the Evaluation of Strategies, Solvers and Optimizers | Apr 22, 2023 | |
Rust | 17 | Flexible and modular framework for different NP-Problems with different solvers | Feb 19, 2023 | |
None | 2 | Neural network based solvers for partial differential equations and inverse problems :milky_way: | Dec 19, 2021 | |
Go | 6 | A Golang library to help implement kurobako's solvers and problems | Jun 29, 2020 | |
Python | 8 | A Python library to help implement kurobako's solvers and problems | Apr 25, 2022 | |
PHP | 10 | More satisfaction | Aug 03, 2022 | |
C++ | 5 | Solvers for the Maximum(-Weight) Independent Set and the Maximum(-Weight) Clique Problems | Jan 09, 2023 | |
C++ | 9 | Exact and approximate solvers for minimum-cost-flow problems in bi-directed graphs. | Jun 19, 2023 | |
Julia | 3 | Solvers for Stokes-type equations and saddle-point problems for scientific machine learning (SciML) | Jun 23, 2022 | |
JavaScript | 3 | Volto addon for customer satisfaction | Aug 12, 2022 | |
Ruby | 5 | Satisfaction tracker for your work! | May 06, 2021 | |
C++ | 2 | Source code for the benchmarks in "Accelerating linear solvers for Stokes problems with C++ metaprogramming" | May 04, 2023 | |
JavaScript | 3 | Minimalist satisfaction forms | Dec 16, 2020 | |
Python | 26 | The one-stop package for formulating, simulating, and solving problems in boolean and spin form | Apr 17, 2023 | |
Jupyter Notebook | 14 | Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to … | Apr 23, 2023 | |
C++ | 9 | Using Heuristic Rules, Meta-Heuristic and Hyper-Heuristic approach to solve Job Shop Scheduling Problem. | Dec 03, 2021 | |
Python | 6 | Project which uses algorithms involving Backtracking to solve Constraint Satisfaction Problems. CSE Sem-I Project 2022 | Jun 01, 2022 | |
Jupyter Notebook | 2 | Constraint Satisfaction Approach for Functional Harmony | Jun 21, 2022 | |
Ruby | 2 | Ruby library for Get Satisfaction API | Oct 26, 2023 | |
C++ | 31 | Research code for heuristic search | Mar 11, 2022 | |
C# | 2 | Heuristic AI for playing tetris | Jul 20, 2023 | |
Vim script | 2 | Heuristic indentation detection for vim | Sep 22, 2023 | |
Kotlin | 3 | Constraint Satisfaction Problem Implementation | May 03, 2019 | |
TypeScript | 36 | boolean converts lots of things to boolean. | Mar 09, 2023 | |
Go | 18 | Get satisfaction with servers for your configs. | Nov 18, 2020 |