|
| 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 |
2022-07-08 04:24:38.0 |
| disk size |
44.1 MB |
| build status |
built on StarExec |
|
