Skip to content
#

constraint-programming

Here are 196 public repositories matching this topic...

optaplanner

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), ... ::::::

  • Updated Aug 11, 2021
  • Scala

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

  • 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