Skip to content
#

constraint-programming

Star

Here are 231 public repositories matching this topic...

Language: All
Filter by language
All 231 Python 49 Java 40 C++ 27 Prolog 22 Jupyter Notebook 15 JavaScript 10 Scala 7 C# 5 AMPL 4 C 4
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated
optaplanner

kiegroup / optaplanner

Star 2.6k

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

java optimization scheduling solver constraint-satisfaction-problem artificial-intelligence constraints vehicle-routing-problem constraint-programming traveling-salesman local-search simulated-annealing constraint-solver tabu-search branch-and-bound metaheuristics rostering employee-rostering traveling-salesman-problem mathematical-optimization
  • Updated Apr 26, 2022
  • Java

Gecode / gecode

Star 209
Find more good first issues

corail-research / SeaPearl.jl

Star 57
Open

Add a random value selection heuristic.

gostreap
gostreap commented Apr 13, 2022

It is very common to compare a heuristic to a random heuristic. Currently, almost every experiment in SeaPearlZoo defines its own randomized heuristic by copying the code of another experiment.

So it would be interesting to add a random value heuristic to SeaPearl.

Read more
enhancement good first issue
Find more good first issues

MatthiasNickles / diff-SAT

Star 42

SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. :::::: Use cases: Probabilistic SAT solving, Probabilistic Answer Set Programming (Probabilistic ASP), ... ::::::

optimization artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization
  • Updated Oct 8, 2021
  • Scala

nitiwari-dev / android-percent-layout-sample

Star 32

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

support android demo library xml android-application android-ui constraint-programming percent relativelayout constraint-layout android-percent-layout percentframelayout layout-height-percent layout-width-percent example-code constraintheight
  • Updated Aug 3, 2020
  • Kotlin

Improve this page

Add a description, image, and links to the constraint-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the constraint-programming topic, visit your repo's landing page and select "manage topics."

Learn more