Topic: constraint-programming Goto Github

👇 Here are 354 public repositories matching this topic...

apache / incubator-kie-optaplanner
constraint-programming,AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Organization: apache
Home Page: https://www.optaplanner.org
java constraint-solver constraint-programming metaheuristics tabu-search simulated-annealing branch-and-bound rostering optimization constraints

avaneev / biteopt
constraint-programming,Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
User: avaneev
optimization-methods optimization-algorithms constraint-programming stochastic-optimizers evolutionary-algorithms metaheuristics optimization-tools optimization genetic-algorithm mixed-integer-programming

bokner / fixpoint
constraint-programming,Constraint programming solver
User: bokner
constraint-programming elixir-lang operations-research discrete-optimization

bokner / solverl
constraint-programming,Erlang/Elixir interface to MiniZinc.
User: bokner
constraint-programming minizinc elixir-lang erlang optimization-tools discrete-optimization

chocoteam / choco-solver
constraint-programming,An open-source Java library for Constraint Programming
Organization: chocoteam
Home Page: http://choco-solver.org/
constraint-programming solver constraints csp copr constraint-satisfaction-problem java constraint-solver constraint-optimisation-problem

cnapy-org / cnapy
constraint-programming,An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!
Organization: cnapy-org
Home Page: https://cnapy-org.github.io/CNApy-guide/
metabolic-models constraint-programming bioinformatics flux-balance-analysis sbml systems-biology computational-biology cobra stoichiometric-modeling constraint-based-modeling

codac-team / codac
constraint-programming,Codac is a library for constraint programming over reals, trajectories and sets.
Organization: codac-team
Home Page: http://www.codac.io
constraint-programming robotics interval-analysis dynamical-systems tubes localization state-estimation slam mobile-robotics

conjure-cp / conjure
constraint-programming,Conjure: The Automated Constraint Modelling Tool
Organization: conjure-cp
constraints modelling combinatorial-optimization constraint-programming sat

corail-research / seapearl.jl
constraint-programming,Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
Organization: corail-research
Home Page: https://corail-research.github.io/SeaPearl.jl/dev/
constraint-programming dynamic-programming graphs julialang reinforcement-learning research

fel88 / cascadedesktop
constraint-programming,OpenCASCADE GUI Viewer/Editor
User: fel88
brep opencascade cad computer-aided-design modeling step iges constraint-programming constraint-satisfaction-problem csp

gecode / gecode
constraint-programming,Generic Constraint Development Environment
Organization: gecode
Home Page: https://www.gecode.org
constraint-satisfaction-problem constraint-programming constraint-propagation constraint-solver constrained-optimization constraint-satisfaction

giangstrider / scheduling-optimization-ortools
constraint-programming,Using Google Operation Research Tools (Ortools) to solve complex scheduling problems (General optimization problems).
User: giangstrider
ortools operations-research optimization optimization-algorithms solvers scheduling scheduling-problem constraint-programming

gnboorse / centipede
constraint-programming,Constraint Satisfaction Problem Solver for Golang
User: gnboorse
constraint-satisfaction-problem csp golang go solver solvers constraint-programming heuristic arc-consistency

hadipourh / autoguess
constraint-programming,An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
User: hadipourh
Home Page: https://hadipourh.github.io/autoguess
blockcipher guess-and-determine sat-solver-application cryptanalysis cryptography constraint-programming groebner-basis key-bridging stream-ciphers python3

hakank / hakank
constraint-programming,My public programs and models - mostly combinatorial problems and puzzles
User: hakank
constraint-programming constraint-satisfaction minizinc picat z3py gecode essence jacop ampl comet

hyperc-ai / ordered
constraint-programming,Entropy-controlled contexts in Python
Organization: hyperc-ai
python artificial-intelligence machine-learning constraint-programming constraint-satisfaction-problem ai ai-planning pddl ai-planners planning

jstrieb / poker-chipper
constraint-programming,Optimally allocate poker chips using constrained, nonlinear optimization
User: jstrieb
Home Page: https://jstrieb.github.io/poker-chipper/
constraint-programming constraint-satisfaction-problem optimization poker scip svelte web-application web-assembly

juliaconstraints / localsearchsolvers.jl
constraint-programming,A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
Organization: juliaconstraints
constraint-programming constraint-solver local-search

ktnr / binpacking2d
constraint-programming,Exact solutions for two-dimensional bin packing problems by branch-and-cut
User: ktnr
algorithm operations-research mathematical-programming constraint-programming branch-and-cut mixed-integer-programming bin-packing-problem knapsack-problem

letmaik / monadiccp
constraint-programming,Monadic Constraint Programming framework
User: letmaik
Home Page: http://people.cs.kuleuven.be/~tom.schrijvers/MCP/
haskell constraint-programming monads

lifebeyondfife / decider
constraint-programming,An Open Source .Net Constraint Programming Solver
User: lifebeyondfife
constraint-programming constraint-satisfaction-problem c-sharp optimisation constraint-solver f-sharp

lume / kiwi
constraint-programming,Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
Organization: lume
Home Page: https://codepen.io/trusktr/pen/abMLVxa
cassowary kiwi autolayout autolayout-constraints constraints constraint-layout constraint-programming constraint-solver javascript typescript

matthiasnickles / diff-sat
constraint-programming,Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
User: matthiasnickles
satisfiability answer-set-programming optimization probabilistic-programming artificial-intelligence sat-solver logic-programming psat constraint-programming differentiable-satisfiability

mingodad / picat
constraint-programming,My unofficial picat http://picat-lang.org/ repository
User: mingodad
symbolic-computation dynamic-programming prolog pattern-matching solvers constraint-programming declarative-programming functional-programming cross-platform

minizinc / minizinc-js
constraint-programming,Use MiniZinc in the browser or with NodeJS
Organization: minizinc
Home Page: https://js.minizinc.dev
constraint-programming integer-programming javascript linear-programming minizinc optimisation-problem sat-solver typescript-definitions nodejs webassembly

minizinc / minizinc-python
constraint-programming,Access to all MiniZinc functionality directly from Python
Organization: minizinc
Home Page: https://python.minizinc.dev
minizinc constraint-programming python integer-programming linear-programming sat-solver optimisation-problem

mlabonne / linear-programming-course
constraint-programming,Hands-on course about linear programming and mathematical optimization.
User: mlabonne
Home Page: https://mlabonne.github.io/blog/
constraint-programming integer-linear-programming integer-programming linear-programming mixed-integer-programming

nitiwari-dev / android-percent-layout-sample
constraint-programming,Note: Its build using ConstraintLayout. The sample is an alternative for nested layouts. Build to remove nested structure and create a flat xml layout, which eventually improves performance
User: nitiwari-dev
Home Page: http://www.coderconsole.com/2015/08/android-percent-support-lib-sample.html
android percent support library demo android-application android-ui android-percent-layout percentframelayout layout-height-percent

pabloo22 / job_shop_lib
constraint-programming,A modular Python library for creating, solving, and visualizing job shop scheduling problems.
User: pabloo22
Home Page: https://job-shop-lib.readthedocs.io
combinatorial-optimization constraint-programming graph-neural-networks job-shop-scheduling job-shop-scheduling-problem library flexible-job-shop-scheduling python reinforcement-learning reinforcement-learning-environments

paolodragone / pymzn
constraint-programming,A Python wrapper for the MiniZinc tool pipeline.
User: paolodragone
constraint-programming jinja2 minizinc python

paulk-asert / groovy-data-science
constraint-programming,Some Data Science examples using Groovy
User: paulk-asert
groovy data-science beakerx commons-math mxnet linear-regression spark kmeans-clustering natural natural-language-processing

ptal / pcp
constraint-programming,Constraint programming in Rust
User: ptal
constraint-programming rust solver

pyjobshop / pyjobshop
constraint-programming,Solve job shop scheduling problems (and more!) in Python.
Organization: pyjobshop
Home Page: https://pyjobshop.org
constraint-programming scheduling flow-shop job-shop operations-research optimization jobshop or-tools job-shop-scheduling fjsp

regista6 / ea-fc-automated-sbc-solving
constraint-programming,EA FC 25 Automated SBC Solving using Integer Programming ⚽
User: regista6
constraint-programming fifa integer-programming optimization or-tools football football-analytics soccer-analytics fifa-ultimate-team cp-sat

richoux / ghost
constraint-programming,General meta-Heuristic Optimization Solving Toolkit
User: richoux
Home Page: https://richoux.github.io/GHOST/
constraints solver constraint-programming optimization framework constraint-satisfaction-problem toolkit library combinatorial-optimization

scipopt / scip
constraint-programming,SCIP - Solving Constraint Integer Programs
Organization: scipopt
mip integer-programming constraint-programming minlp minlp-solver mip-solver scip

slothy-optimizer / slothy
constraint-programming,Assembly super-optimization via constraint solving
Organization: slothy-optimizer
Home Page: https://slothy-optimizer.github.io/slothy/
assembly-language constraint-programming cryptography-tools superoptimization post-quantum-cryptography

starkblaze01 / jenereta
constraint-programming,Automated TIme-Table Generator
User: starkblaze01
Home Page: https://jenereta.herokuapp.com/
reactjs nodejs expressjs mongodb mongoose mern-stack constraint-programming bootstrap jwt-authentication time-table-generator

timefoldai / timefold-quickstarts
constraint-programming,Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Organization: timefoldai
Home Page: https://solver.timefold.ai
artificial-intelligence employee-scheduling gradle java job-shop-scheduling kotlin maintenance-scheduling maven planning-algorithms quarkus

timefoldai / timefold-solver
constraint-programming,The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
Organization: timefoldai
Home Page: http://solver.timefold.ai
ai artificial-intelligence cvrp employee-scheduling vehicle-routing vehicle-routing-problem vrp vrptw maintenance-scheduling planning-algorithms operations-research resource-allocation solver-library java optimization-algorithms python solver kotlin constraint-programming constraint-solver

triska / clpb
constraint-programming,Boolean Constraint Solving in Prolog
User: triska
Home Page: https://www.metalevel.at/clpb/
clp prolog constraints bdd constraint-programming independent-sets matchsticks-puzzle satisfiability sat

triska / clpfd
constraint-programming,Constraint Logic Programming over Finite Domains
User: triska
Home Page: https://www.metalevel.at/prolog/clpfd
constraint-programming integer-arithmetic clp prolog constraints teaching

triska / clpz
constraint-programming,Constraint Logic Programming over Integers
User: triska
Home Page: https://www.metalevel.at/prolog/clpz
clp constraints integer-arithmetic prolog sicstus-prolog constraint-programming

triska / simsttab
constraint-programming,Simple timetabling engine for schools
User: triska
Home Page: https://www.metalevel.at/simsttab/
timetable timetabling-engine school prolog clp constraint-programming

wanxinjin / safe-pdp
constraint-programming,Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
User: wanxinjin
Home Page: https://wanxinjin.github.io/posts/safePDP
safe-reinforcement-learning safe-control safety-critical safety-critical-systems constraint-programming constraint-based-modeling constrained-optimization constrained-reinforcement-learning constrained-learning differentiable-programming

weiran-aitech / shift_schedule
constraint-programming,Modelling and Solving Employee Shift Scheduling (Including Nurse Rostering) Problems Using Constraint Programming (Combination of Artificial Intelligence and Operations Research) and Software Engineering Technologies 应用约束规划(人工智能+运筹学)及软件工程技术建模和解决员工排班(包括护士排班)调度问题
User: weiran-aitech
constraint-programming operations-research combinatorial-optimization or-tools python3 scheduling-algorithms

wikunia / constraintsolver.jl
constraint-programming,ConstraintSolver in Julia: Blog posts ->
User: wikunia
Home Page: https://opensourc.es/blog/constraint-solver-1
constraint-solver julia graph-coloring sudoku solver constraint-programming

xcsp3team / ace
constraint-programming,Constraint Solver ACE
User: xcsp3team
csp constrained-optimization constraint-programming constraint-satisfaction-problem constraint-solver constraints java optimization solver xcsp3

xcsp3team / pycsp3
constraint-programming,A Python Library for modeling combinatorial constrained problems
User: xcsp3team
Home Page: https://www.pycsp.org
modeling modeling-language modeling-tool constraint-based-modeling constraint-programming constraints python constrained-optimization constraint-satisfaction-problem library

xgillard / ddo
constraint-programming,DDO a generic and efficient framework for MDD-based optimization.
User: xgillard
ddo discrete-optimization constraint-programming operations-research decision-diagrams constraint-satisfaction-problem constraint-optimisation-problem