You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The version of sylvan included in sylvan-mtbdd is rather old but it should already support multiple workers. By default, only one worker is used, but this can be changed by means of the command line option --dd-sylvan-mtbdd-workers.
Have 'sylvan-mtbdd' been ready for use as a dd-multi-engine now?
The text was updated successfully, but these errors were encountered: