MatthiasNickles/diff-SAT

Stars
63
Rank 484,938 (Top 10 %)
Language
Scala
License
MIT License
Created about 6 years ago
Updated 5 months ago

MatthiasNickles/diff-SAT

MatthiasNickles

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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