Skip to content

Releases: paultristanwagner/smt-rex

Release list

SMT-Rex 0.1.0

SMT-Rex 0.1.0 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Oct 09:23
smt-rex-v0.1.0
81814d0

First release of SMT-Rex.

  • QF_UF, QF_LRA, QF_LIA (with maximize/minimize), QF_NRA and QF_BV; SMT-LIB 2.6 and DIMACS input.
  • Every sat answer is checked against the input before it is reported. --proof writes LRAT for DIMACS and Alethe for QF_UF and QF_LRA.
  • Results on every non-incremental SMT-LIB 2025 benchmark, against z3 and cvc5, are in the README.

Binaries for Linux (x86_64, aarch64; glibc 2.35 or newer) and macOS (Apple silicon) are attached. With Nix: nix run github:paultristanwagner/smt-rex.

Licensed under MIT or Apache-2.0.

Assets 8
Loading

Java solver 1.0.1

Java solver 1.0.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Feb 21:32
v1.0.1
adc2650 
Update jline to 3.29.0

Signed-off-by: Paul Wagner <paultristanwagner@gmail.com>
Loading

Java solver 1.0.0

Java solver 1.0.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Jan 17:24
v1.0.0
616d104 
Add release tag workflow

Signed-off-by: Paul Wagner <paultristanwagner@gmail.com>
Loading