- changed status to resolved
Tseitin sharing in translator for different eqtypes
Issue #450
open
If a tseitin has already been introduced for => and one is requested e.g. for <=> then we just have to strengthen the one that has already been added.
Comments (3)
-
reporter
-
reporter
- changed status to open
Commit message resolved incorrect one.
-
reporter
- changed status to open
- Log in to comment
Fixes #450: Added code to share tseitins representing general ground atoms AND to add implications between all of those to get cheaper propagation.
→ <<cset 81c1b617f032>>