MatthiasNickles/Diff-ASP-Propagators MatthiasNickles/Diff-ASP-Propagators

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MatthiasNickles/Diff-ASP-Propagators
github

MatthiasNickles

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python

More Repositories

1

diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Scala
63
star
2

fol2asp

A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
Scala
4
star
3

Satalyzer

A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers
Scala
1
star