Arjun 2.5.2
This Arjun has a fixed independent set generation with fixed order and a few fixed minor issues, also disabled irregular gate detection. It also has an improved elimination strategy.
This Arjun has a fixed independent set generation with fixed order and a few fixed minor issues, also disabled irregular gate detection. It also has an improved elimination strategy.