Closed Alex-Fischman closed 1 year ago
This PR pulls out common functionality from the bounded model checkers into three new files: quantenum.rs, indices.rs, and checker.rs.
quantenum.rs
indices.rs
checker.rs
This PR pulls out common functionality from the bounded model checkers into three new files:
quantenum.rs,indices.rs, andchecker.rs.