Procedure to detect node equivalences across two AIGs. #405

Sign in to view logs

Triggered via push October 21, 2024 08:15

alanminko

master

Status Success

Total duration 10m 28s

Artifacts 1

build-windows.yml

on: push

Artifacts

Produced during runtime

Name	Size
package-windows	4.65 MB