compute canada iterative cubing verify cubes solved by cadical - Githubissues

curtisbright / PhysicsCheck

Other

0 stars 2 forks source link

compute canada iterative cubing verify cubes solved by cadical #24

Closed BrianLi009 closed 1 year ago

BrianLi009 commented 1 year ago

the cadical simplification applied on each cube should be verified