Disentangle `VarOrder` and `BddPtr` via `PartialVariableOrder` trait #181

Sign in to view logs

Summary
Jobs
- coverage
Run details
- Usage
- Workflow file

Triggered via pull request July 27, 2023 17:48

mattxwang

opened #164

partial-variable-order

Status Success

Total duration 2m 21s

Artifacts –

coverage.yml

on: pull_request