Skip to content
CI

adds first version of satisfiability #436

Sign in to view logs

adds first version of satisfiability

adds first version of satisfiability #436

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
11s
publish
0s
11s