#

psat

Here is 1 public repository matching this topic...

MatthiasNickles / diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving

Updated Jul 1, 2024
Scala

Improve this page

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