This is veriT 2021.06.2-rmx from
https://www.verit-solver.org/download/2021.06.2/verit-2021.06.2-rmx.tar.gz

It has been built from sources like this:

  cd src
  ./configure
  make

The Windows executable is from
https://www.verit-solver.org/download/2021.06.2/verit-windows-x85_64-2021.06.2-rmx.zip


        Makarius
        11-Nov-2025
