MatthiasNickles

Matthias Nickles's repositories

diff-SAT

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

Language:ScalaMIT60 4 1

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

Apache-2.03 10

fol2asp

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

Language:ScalaApache-2.03 20

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

Language:ScalaMIT1 10

eclingo

Epistemic logic programming with clingo

Language:PythonMIT000

fz2aspif

Translating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series.

Language:C++000

interpret

Fit interpretable models. Explain blackbox machine learning.

Language:PythonMIT010