Mode | Name | Size | |
---|---|---|---|
d--------- | aig | 180 | logstatsplain |
d--------- | base | 276 | logstatsplain |
d--------- | bdd | 213 | logstatsplain |
-rw-r--r-- | generic.c | 1364 | logstatsplain |
-rw-r--r-- | generic.h | 1980 | logstatsplain |
d--------- | map | 155 | logstatsplain |
d--------- | misc | 247 | logstatsplain |
d--------- | opt | 270 | logstatsplain |
d--------- | phys / place | 32 | logstatsplain |
d--------- | sat | 157 | logstatsplain |