Stars
56
Forks
34
Language
Java
Last Updated
Mar 31, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Python | 2 | Distributed Constraint Optimization Problems Solver | Jan 17, 2024 | |
| C | 2 | Constraint Satisfaction Problems and Puzzles | Jul 08, 2019 | |
| Racket | 8 | solve constraint-satisfaction problems | Jan 27, 2023 | |
| Java | 2 | Search-based OCL constraint solver | May 15, 2019 | |
| Python | 2 | A Scalable Sudoku and Constraint Satisfaction Problem Solver | Mar 14, 2018 | |
| Java | 4 | Sudoku solver using various Constraint Satisfaction heuristics | Jul 10, 2020 | |
| TypeScript | 4 | 🛠️ Tools to solve constraint satisfaction problems | Aug 05, 2022 | |
| Java | 21 | A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking | Mar 23, 2020 | |
| 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 | |
| PHP | 3 | Constraint-Based Local Search for Vehicle Routing | Apr 04, 2022 | |
| C++ | 6 | A solver based on local search | Feb 19, 2023 | |
| Python | 3 | A solver based on local search | Apr 21, 2023 | |
| JavaScript | 2 | A library for managing CSP, constraint satisfaction problems in AI and more | Jan 10, 2015 | |
| Python | 7 | Minimal Supplying Community Search with constraint-based optimization methods. | Mar 13, 2023 | |
| Kotlin | 3 | Constraint Satisfaction Problem Implementation | May 03, 2019 | |
| Python | 17 | Map constraint satisfaction problems with binary variables to binary quadratic models. | Mar 22, 2023 | |
| HTML | 2 | CoSaTa: A Constraint Satisfaction Solver and Interpreted Language For Semi-Structured Tables of Sentences | Feb 03, 2022 | |
| C++ | 154 | HPC solver for nonlinear optimization problems | Aug 08, 2022 | |
| Lua | 4 | a lua constraint satisfaction framework | Nov 12, 2018 | |
| Elixir | 12 | Constraint satisfaction solvers in Elixir | May 18, 2023 | |
| Python | 4 | Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python | Jun 18, 2022 | |
| Scala | 3 | A design pattern detection tool based on constraint satisfaction | Mar 28, 2023 | |
| OCaml | 9 | Constraint solver based on abstract interpretation | Mar 11, 2023 | |
| Python | 3 | Passivity-based manipulator control with guaranteed constraint satisfaction in Drake | May 03, 2023 | |
| Jupyter Notebook | 2 | Constraint Satisfaction Approach for Functional Harmony | Jun 21, 2022 | |
| Julia | 17 | A Julia package to manage Constraint-Based Local Search (CBLS) solvers. | Feb 05, 2022 | |
| C++ | 66 | A solver for mixed-integer nonlinear optimization problems | Aug 05, 2022 | |
| TypeScript | 37 | Geometric Constraint Solver | Apr 26, 2023 | |
| Java | 14 | Constraint Solver ACE | Apr 04, 2023 | |
| Clojure | 5 | A Clojure implementation of local neighborhood search, a technique for solving optimization problems | Mar 08, 2023 | |
| Julia | 7 | Nonlinear Constraint Solving and Optimization | Aug 26, 2020 | |
| Swift | 11 | Swift implementation of Peter Norvig's constraint based solver. | Feb 24, 2022 | |
| C++ | 35 | JIGSAW is a fuzzing-based path constraint solver. | Jun 07, 2022 | |
| Python | 2 | A constraint-based solver for TVM Relay (WIP) | Dec 19, 2022 | |
| C++ | 2 | Simple prototype for a solver for linear optimization problems. | May 30, 2022 | |
| Julia | 106 | interior point solver for general convex conic optimization problems | Apr 21, 2023 | |
| MATLAB | 14 | MIPS – MATPOWER Interior Point Solver for nonlinear optimization problems. | May 03, 2023 | |
| Python | 6 | Project which uses algorithms involving Backtracking to solve Constraint Satisfaction Problems. CSE Sem-I Project 2022 | Jun 01, 2022 | |
| Python | 162 | OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems. | Jul 01, 2022 | |
| Julia | 2 | A MOI/JuMP interface for `LocalSearchSolvers.jl`, a Constraint-Based Local Search (CBLS) framework | Jun 17, 2021 | |
| Haskell | 2 | SHErrLoc constraint solver and error localizer | Apr 25, 2023 | |
| Rust | 7 | Rust library for local search optimization | Aug 24, 2023 | |
| Java | 3 | Demo OptaPlanner constraint solver | Mar 30, 2022 | |
| Elixir | 33 | A configurable constraint solver | Aug 16, 2022 | |
| C++ | 3 | Our final project for Deep Learning in Discrete Optimization taught by Bill Cook. We developed … | May 18, 2021 | |
| Python | 12 | Simultaneous task allocation and motion scheduling (STAAMS) solver based on constraint programming and optimization, implemented … | Jun 02, 2022 | |
| Jupyter Notebook | 22 | Constraint Optimization with Lava | Jun 13, 2022 | |
| Jupyter Notebook | 14 | Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to … | Apr 23, 2023 | |
| Julia | 5 | Heuristic solvers for boolean satisfaction problems. | Feb 24, 2022 |