ltlsynt

loading
details

attribute value
name ltlsynt
description TLSF synthesis track starexec_run_segsyntdsabc : ds pipeline for synthesis with circuit reduction by abc starexec_run_segsyntsdabc : sd pipeline for synthesis with circuit reduction by abc starexec_run_segsyntlarabc : lar pipeline for synthesis with circuit reduction by abc
owner Florian Renkin
uploaded Jul 08 2022
disk size 44.1 MB
build status built on StarExec
configurations
name description
segsyntacdabc no description
segsyntdsabc no description
segsyntlarabc no description

actions get anonymous link download source