CI

fix: complete proof when adding clause results in unsat #535

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Style and Lints	42s
Documentation	27s
Dependency Licensing	3m 29s
Test Suite	3m 29s
	8m 7s