Discover @MatthiasNickles Open Source projects

Matthias Nickles (@MatthiasNickles)

MatthiasNickles

Stars
71
Global Rank 266,236 (Top 10 %)
Followers 9
Following 1
Registered over 6 years ago
Most used languages

Scala
100.0 %
Location <UNKNOWN>
Country Total Rank 958

diff-SAT

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

fol2asp

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

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

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