The Wayback Machine - https://web.archive.org/web/20200923172053/https://github.com/topics/constraint-programming
Skip to content
#

constraint-programming

Star

Here are 149 public repositories matching this topic...

Language: All
Filter by language
All 149 Python 27 C++ 23 Java 22 Prolog 16 Jupyter Notebook 10 JavaScript 8 Scala 6 C# 4 Haskell 3 R 3
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

chocoteam / choco-solver

Star
Open

Composition of Search Strategy with different limit

3
bourreauEric
bourreauEric commented Nov 16, 2017

Expected behavior

limit the first search strategy to 1 second in solve THEN use the second strategy (to improve the best so far solution)

Actual behavior

search.limit Monitor are attach to search and not strategy.

Minimal Working Example

Experienced with choco-solver-4.0.4

solv.setSearch(
new AbstractStrategy[] {
Search.intVarSearch(new MaxRegret(), new IntDoma

Read more
good first issue help wanted

Gecode / gecode

Star

nitiwari-dev / android-percent-layout-sample

Star

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

MatthiasNickles / delSAT

Star

Answer Set & SAT solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. *** Can be used, e.g., for probabilistic SAT solving and probabilistic Answer Set Programming.
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
  • Updated Sep 18, 2020
  • Scala

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

You can’t perform that action at this time.