Pinned Loading

1. diff-SAT diff-SAT Public

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

   Scala 68 3

2. fol2asp fol2asp Public

   A tool for translating First-Order Logic (FOL) to Answer Set Programming (ASP)

   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 multimodel optimization. For Clingo (https://potassco.org/) + Python

   Answer Set Programming 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++