Age | Commit message (Collapse) | Author |
|
|
|
|
|
This PR removes spurious theory method calls that are not implemented.
It also renames a common "propagate(TNode lit)" pattern to "propagateLit(TNode lit)" to avoid confusion with "propagate(Effort e)".
|
|
|
|
|
|
nodes.
|
|
minor changes.
|
|
logic, change syntax for empty heap constraint.
|
|
|
|
|
|
|
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback