Pinned Loading

1. diff-SAT diff-SAT Public

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

   Scala 63 4

2. fol2asp fol2asp Public

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

   Scala 4

3. Diff-ASP-Propagators 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

   3

4. Satalyzer 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

   Scala 1

5. eclingo eclingo Public

   Forked from potassco/eclingo-prototype

   Epistemic logic programming with clingo

   Python

6. fz2aspif fz2aspif Public

   Forked from potassco/fz2aspif

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

   C++