Skip to content
.github/workflows/mattermost.yml

finished first version of DNNF projected model enumeration #86

Sign in to view logs

finished first version of DNNF projected model enumeration

finished first version of DNNF projected model enumeration #86

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
30s
30s