Skip to content

Conversation

elteammate
Copy link
Collaborator

@elteammate elteammate commented Jul 24, 2023

Adds Equivalent Literal Substitution, or ELS, to the preprocessing.

Note on performance: this heuristic currently causes a significant (about x1.5) slowdown, not because it is slow by itself (the entire preprocessing only takes about 7% of total solve time), but because it causes the current implementation of VariableSeletor to work slowly, something else to work slowly (?). I will fix it later.

@elteammate elteammate requested a review from Lipen July 24, 2023 15:44
@elteammate elteammate marked this pull request as ready for review July 25, 2023 09:28
This was referenced Jul 26, 2023
@Lipen Lipen merged commit 0a85192 into dev Jul 27, 2023
@Lipen Lipen deleted the feature/els branch July 27, 2023 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants