The Wayback Machine - https://web.archive.org/web/20210411154037/https://github.com/topics/satisfiability
Skip to content
#

satisfiability

Star

Here are 75 public repositories matching this topic...

Language: All
Filter by language
All 75 C++ 22 Python 12 C 8 Java 5 Rust 4 Jupyter Notebook 3 Scala 3 Haskell 2 JavaScript 2 OCaml 2
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

MatthiasNickles / diff-SAT

Star

SAT and Answer Set 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.
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 Jan 19, 2021
  • Scala

Improve this page

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

Learn more