Stars
197
Forks
19
Language
Python
Last Updated
May 10, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Cython | 22 | Python constraint programming library | Jan 18, 2023 | |
| Python | 3 | A sudoku solver,using constraint programming | Feb 09, 2020 | |
| Java | 2 | Search-based OCL constraint solver | May 15, 2019 | |
| Scala | 8 | A constraint solver and a constraint programming Domain Specific Language (DSL) for the Scala programming … | Oct 05, 2020 | |
| OCaml | 9 | Constraint solver based on abstract interpretation | Mar 11, 2023 | |
| Java | 43 | Kiwi is a minimalist and extendable Constraint Programming (CP) solver. | Jul 26, 2022 | |
| Python | 3 | Simple quadratic programming solver only using numpy. | Jan 08, 2020 | |
| Python | 6 | A python library for modeling residential direct expansion units | Feb 20, 2023 | |
| Ruby | 56 | Ruby bindings for Z3 constraint solver library | Dec 15, 2022 | |
| JavaScript | 19 | a constraint solver based on kiwi.js with better API ergonomics | Aug 10, 2022 | |
| Julia | 5 | Wrapper for the constraint-programming solver Chuffed to Julia | May 24, 2022 | |
| Java | 51 | Local-search based solver of Constraint Satisfaction and Optimization Problems | Feb 11, 2023 | |
| 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 | |
| Rust | 6 | A fast lean and clean modern constraint programming solver implementation (in rust) | Mar 10, 2023 | |
| Haskell | 2 | SHErrLoc constraint solver and error localizer | Apr 25, 2023 | |
| Python | 2 | Pure Python autograd library based on NumPy | Sep 19, 2023 | |
| C++ | 4 | Static and dynamic geometry processing with constraint solver, MPL2 licensed. | Nov 05, 2022 | |
| Python | 8 | Python library for direct access to ICOS time series data. | Jan 23, 2023 | |
| C# | 138 | Unity3d CAD system with C# Geometric Constraint Solver | Apr 17, 2023 | |
| Java | 14 | Programming language based on the synchronous and constraint paradigms | Mar 31, 2021 | |
| Python | 4 | Constraint Satisfaction Problem (CSP) solver for Sudoku with a graphical interface through python | Jun 18, 2022 | |
| Julia | 139 | Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search. | May 03, 2023 | |
| None | 2 | A Library for Constraint Programming in F# | Nov 06, 2020 | |
| JavaScript | 60 | Finite domain constraint programming library in JS | Jan 12, 2023 | |
| Python | 2 | A Scalable Sudoku and Constraint Satisfaction Problem Solver | Mar 14, 2018 | |
| Python | 12 | Simultaneous task allocation and motion scheduling (STAAMS) solver based on constraint programming and optimization, implemented … | Jun 02, 2022 | |
| OCaml | 3 | A pure embeddable functional programming language with direct access to evaluation environments | Apr 24, 2023 | |
| Go | 29 | High performance memory efficient serialization library with direct wire access | Aug 11, 2021 | |
| Python | 2 | Python numpy caching library | Jul 31, 2020 | |
| Java | 620 | An open-source Java library for Constraint Programming | Apr 28, 2023 | |
| Jupyter Notebook | 352 | COBRApy is a package for constraint-based modeling of metabolic networks. | Aug 17, 2022 | |
| Jupyter Notebook | 13 | Constraint-based modeling framework for the enumeration of pathway analysis concepts | Jan 24, 2023 | |
| C++ | 60 | Lattice-based integer linear programming solver | Apr 20, 2023 | |
| Python | 162 | OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems. | Jul 01, 2022 | |
| Scala | 111 | DSL in Scala for Constraint Solving with Z3 SMT Solver | Apr 19, 2023 | |
| Python | 16 | Deep Learning library built from scratch with Python and NumPy | Jan 01, 2023 | |
| Python | 2 | A pure-python integer programming solver | Apr 09, 2024 | |
| Python | 6 | Neuron(s)-based library in Python using numpy and Blender Game Engine. | May 18, 2019 | |
| Rust | 17 | Rust BTRFS library, via kernel APIs and direct lowlevel access | Dec 14, 2021 | |
| Python | 3 | Data modeling and validation Python library | May 10, 2018 | |
| C++ | 2 | cpp call python, or python call cpp, hybrid programming using pybind11, with and without numpy | May 06, 2020 | |
| None | 41 | Lidar localization system with prior map constraint and lio constraint based on GTSAM | Apr 05, 2023 | |
| Python | 8 | Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano | Mar 16, 2022 | |
| Python | 6958 | Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Aesara | Sep 02, 2022 | |
| Python | 2 | Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano | Apr 07, 2021 | |
| Python | 2 | Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Aesara | Jun 08, 2022 | |
| Python | 3 | Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Aesara | Jan 24, 2022 | |
| Python | 3 | Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano | May 16, 2023 |