Gbury/dolmen Issues
Support for `get-assignment`
Updated 2RDL check is a bit too lenient
Updated 1Support Alt-Ergo's `cut` and `check`
Closed 15Attributes in nested quantifiers
Closed 2Add authors files
UpdatedLet dolmen fix that for you
Updated 5Handling of named terms
Closed 2Quoted identifiers can be keywords
Closed 12Expose `with_cache`?
Closed 1Check sat assuming
Closed 2Build static binaries for releases
Updated 2Wrong check-model
ClosedUnexpected Farith exception
Closed 1Unchecked exit
Closed 4Memory leaks during Model Checking?
Closed 14bv2nat is not recognized
Closed 7Comments for suppression
Closed 4Last `set-logic` "wins"
Closed 6Parse error with `let`
Closed 4False positive on `QF_BVFPLRA`
Closed 4SMT-LIB: print symbols with `|`
Updated 3Dolmen "stops" at the first error
Updated 1CI doesn't test 4.08
Closed 7