Skip to content
#

differentiable-programming

Here are 41 public repositories matching this topic...

Answer Set & SAT solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. *** Use cases, e.g., probabilistic SAT solving and probabilistic Answer Set Programming.

  • Updated Nov 7, 2020
  • Scala

Improve this page

Add a description, image, and links to the differentiable-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 differentiable-programming topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.