Skip to content

Commit

Permalink
some final thoughts
Browse files Browse the repository at this point in the history
  • Loading branch information
@mb706
mb706 committed Sep 23, 2024
1 parent a2bf056 commit bec9834
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions attic/mvsat.mv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -212,5 +212,6 @@

# Now that 2nd order sse is implemented, one more possible obvious optimizatoin would be to keep original larger versions of clauses around
# and use these for self-subsumption elimination.
# problem: this would make unit handling weird, since we get new units that can now still be self-subsumed.

# - problem: this would make unit handling weird, since we get new units that can now still be self-subsumed.
# - wehn we have that, we can also make sure 2nd order things only run after the initial 1st order things have all run, since we can then expect
# fewer range changes and hende fewer updates; that probably gives a lot of performance benefit.

0 comments on commit bec9834

Please sign in to comment.