princess

princess copied to clipboard

The JavaSMT developers are currently trying to improve their support for Rational theory with the SMT solver Princess (see https://github.com/sosy-lab/java-smt/pull/257). There are some smaller issues in Princess (version 2023-06-19) that...

kfriedberger

The JavaSMT developers are currently trying to improve their support for Rational theory with the SMT solver Princess (see https://github.com/sosy-lab/java-smt/pull/257). There are some smaller issues in Princess (version 2023-06-19) that...

kfriedberger

[WIP] Quality of life improvements and cleanup

2

- Remove unused imports - Name parameters when supplying - Fix a few lint warnings - `getProofCertificateAsString` now has sensible default arguments - Replace the deprecated `SyncVar` with the suggested...

amandasystems