Conflict Extraction in Probabilistic Datalog Analyses

Published August 3, 2026 | Version v3

Software Open

Files

Name	Size	Download all
ppprobe-artifact-submission-zenodo-20260803.tar.gz md5:92b821ed66ae9e79b3cc00b48d7a187e	103.3 MB	Download

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more