Stars
19
Forks
27
Language
Python
Last Updated
Mar 07, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Racket | 8 | solve constraint-satisfaction problems | Jan 27, 2023 | |
| C | 2 | Constraint Satisfaction Problems and Puzzles | Jul 08, 2019 | |
| Julia | 2 | Solving Nonconvex Quadratic Problems with a norm constraint | Jun 04, 2021 | |
| TypeScript | 4 | 🛠️ Tools to solve constraint satisfaction problems | Aug 05, 2022 | |
| Prolog | 3 | :mag_right: Constraint satisfaction problems implemented in ECLiPSe Prolog | Apr 02, 2023 | |
| Python | 6 | Using algorithms involving backtracking to solve constraint satisfaction problems | May 16, 2022 | |
| Java | 51 | Local-search based solver of Constraint Satisfaction and Optimization Problems | Feb 11, 2023 | |
| Kotlin | 3 | Constraint Satisfaction Problem Implementation | May 03, 2019 | |
| C++ | 4 | Classical algorithms for solving binary quadratic models | Apr 13, 2023 | |
| JavaScript | 2 | A library for managing CSP, constraint satisfaction problems in AI and more | Jan 10, 2015 | |
| Lua | 4 | a lua constraint satisfaction framework | Nov 12, 2018 | |
| Elixir | 12 | Constraint satisfaction solvers in Elixir | May 18, 2023 | |
| Jupyter Notebook | 2 | Constraint Satisfaction Approach for Functional Harmony | Jun 21, 2022 | |
| Java | 4 | Sudoku solver using various Constraint Satisfaction heuristics | Jul 10, 2020 | |
| Python | 3 | Passivity-based manipulator control with guaranteed constraint satisfaction in Drake | May 03, 2023 | |
| Jupyter Notebook | 14 | Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to … | Apr 23, 2023 | |
| Julia | 13 | 🧬 Tools for Quadratic Unconstrained Binary Optimization models in Julia | Apr 10, 2023 | |
| Python | 6 | Project which uses algorithms involving Backtracking to solve Constraint Satisfaction Problems. CSE Sem-I Project 2022 | Jun 01, 2022 | |
| Python | 2 | A Scalable Sudoku and Constraint Satisfaction Problem Solver | Mar 14, 2018 | |
| Scala | 3 | A design pattern detection tool based on constraint satisfaction | Mar 28, 2023 | |
| Julia | 5 | Heuristic solvers for boolean satisfaction problems. | Feb 24, 2022 | |
| C++ | 4 | Common preprocessing tools that can aid in solving binary quadratic models (BQM). | Jan 31, 2023 | |
| Python | 2 | Greedy binary quadratic model solvers. | Dec 21, 2021 | |
| Python | 3 | Toolbox for quadratic binary optimization | Apr 26, 2023 | |
| Python | 4 | Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python | Jun 18, 2022 | |
| Scala | 5 | Constraint Satisfaction Library in Scala, sort-of derived from Cream | Aug 13, 2019 | |
| Jupyter Notebook | 19 | Constraint Satisfaction Problem lab to solve the N-Queens problem | Jun 28, 2022 | |
| Java | 21 | A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking | Mar 23, 2020 | |
| Python | 33 | PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers | Jul 28, 2022 | |
| Python | 2 | Distributed Constraint Optimization Problems Solver | Jan 17, 2024 | |
| None | 41 | Lidar localization system with prior map constraint and lio constraint based on GTSAM | Apr 05, 2023 | |
| Julia | 4 | Relax your favorite nonconvex quadratic optimization problems | Mar 08, 2021 | |
| Python | 7 | Repository for the Constraint Satisfaction Clustering method and other constrained clustering algorithms | Feb 23, 2023 | |
| C++ | 9 | C++ library for a binary quadratic model | Jun 27, 2022 | |
| Python | 75 | Learn Binary Exploitation with sample problems. | May 05, 2023 | |
| Julia | 2 | Differentiable constraint-based metabolic models | Jul 11, 2022 | |
| R | 4 | Relational Event Models with Latent Variables | Feb 13, 2023 | |
| Matlab | 5 | An o(n) algorithm for quadratic knapsack problems | Jun 22, 2021 | |
| HTML | 2 | CoSaTa: A Constraint Satisfaction Solver and Interpreted Language For Semi-Structured Tables of Sentences | Feb 03, 2022 | |
| Prolog | 2 | 🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint … | Dec 26, 2023 | |
| Python | 52 | Official code for the paper: Deep Graph Matching under Quadratic Constraint (CVPR 2021) | Oct 05, 2022 | |
| Python | 6 | Karnaugh Map Minimization 4 variables | Jun 22, 2022 | |
| HCL | 2 | MAP AZURE DEVOPS RUNTIME VARIABLES TO TERRAFORM INPUT VARIABLES | Sep 15, 2023 | |
| MATLAB | 16 | This project solves linear-quadratic dynamic optimization (LQDO) problems using direct transcription (DT) and quadratic programming … | May 08, 2023 | |
| JavaScript | 3 | Compendium of functions to help solve basic quadratic equation problems | Jan 21, 2021 | |
| MATLAB | 4 | The Octave Version of Quadratic Pose Estimation Problems (QPEP) solver | Nov 02, 2022 | |
| C++ | 42 | QPEP (Quadratic Pose Estimation Problems) Enhanced VINS-Mono SLAM System | Mar 31, 2023 | |
| Scala | 9 | Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is … | Oct 30, 2022 | |
| Zig | 3 | A tiny binary for templating plain text with environment variables | Jun 27, 2022 | |
| Python | 3 | Binary Search Problems and Code | Dec 15, 2022 |