CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Dependency Licensing	3m 15s
Code Style and Lints	38s
Documentation	12s
Test Suite	3m 24s
	7m 29s