Age | Commit message (Collapse) | Author |
|
supported; work on Result type (biggest noticeable change is that CVC4 now outputs lowercase "sat" and "unsat"), Options class moved to src/smt, to allow for future work on runtime configuration via (set-option) command
|
|
It is currently tracking all asserted equalities for simplicity.
Might want to check if this is a performance hit
|
|
|
|
working. Still need to implement theory-specific shared term propagation.
|
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback