Block or Report
Block or report MatthiasNickles
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
diff-SAT Public
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
-
Diff-ASP-Propagators Public
Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
-
fol2asp Public
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
-
Satalyzer Public
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
-
eclingo Public
Forked from potassco/eclingo-prototypeEpistemic logic programming with clingo
Python MIT License UpdatedJul 8, 2019 -
interpret Public
Forked from interpretml/interpretFit interpretable models. Explain blackbox machine learning.
Python MIT License UpdatedMay 18, 2019 -
fz2aspif Public
Forked from potassco/fz2aspifTranslating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series.
C++ UpdatedNov 28, 2016