Closed begriffs closed 11 years ago
Commit 2fa91cb slowed the Ratiocinator down considerably. It examines more selectors during consolidation. Is it necessary to consider all of them? Can some be pruned throughout the process?
Commit 2fa91cb slowed the Ratiocinator down considerably. It examines more selectors during consolidation. Is it necessary to consider all of them? Can some be pruned throughout the process?