MatthiasNickles/Satalyzer MatthiasNickles/Satalyzer

  • Stars
    star
    1
  • Language
    Scala
  • License
    MIT License
  • Created about 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MatthiasNickles/Satalyzer
github

MatthiasNickles

Reviews

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

Repository Details

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

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

Diff-ASP-Propagators

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