summaryrefslogtreecommitdiff log msg author committer range path: root/data/property/simple_flip_flop_instance.proAgeCommit message (Collapse)Author 2017-08-30Reduces the scalability issue.Nathanael Sensfelder It seems to take very long to find solutions for simple_flip_flop_instance, but at least it no longer gives up right away.
