OCamlPro/alt-ergo Issues
Possible unsoundness with FPA
Closed 6MacOS cannot install alt-ergo
Updated 1long running time with low steps
Updated 1Unfair matching
Updated 4Remove the pin on Ocplib-simplex
Closed 1Stack overflow
Closed 2Tests failure with OCaml 5.2
Closed 4Proprer fix for `check_records`
Closed 1Unsoundness in model generation
Closed 1[RFC] Input AST of the SAT API
Updated 3Windows CI
UpdatedNative support for Windows
Updated 5Optimization and `push` and `pop`
Updated 2Review AC(X) implementation
UpdatedTimeouts are broken
Updated 9Style guide?
UpdatedMake satML types abstract
UpdatedAdd `psmt2` tests
UpdatedEnable prelude by default
Updated 4Wrong model for arrays
Updated