Add a function which translates BDDs between variable contexts. #92

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	18s
Check	19s
Clippy	23s
Test Suite (linux)	31s
Code coverage	59s
	2m 30s