Skip to content
Builds, tests & co

rewrote WitnessComputation.elim_a, revamped skolemization functionali… #101

Sign in to view logs

rewrote WitnessComputation.elim_a, revamped skolemization functionali…

rewrote WitnessComputation.elim_a, revamped skolemization functionali… #101

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macos-latest, 5.1)
1s
build (ubuntu-latest, 5.1)
1s
2s