Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-08-13 | Fix get-unsat-assumptions output (#2301) | Andres Noetzli | |
Fixes #2298. The `get-unsat-assumptions` command was printing the result with square brackets and commas instead of parentheses and spaces between the assumptions. |