Skip to content

Commit

Permalink
Revert "Work around CaDiCaL performance regression"
Browse files Browse the repository at this point in the history 
This reverts commit 033b27d.
  • Loading branch information
@tautschnig
tautschnig committed Jul 24, 2024
1 parent 033b27d commit 8cd357a
Show file tree
Hide file tree
Showing 5 changed files with 0 additions and 1,158 deletions.
Loading

0 comments on commit 8cd357a

Please sign in to comment.