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

It has been built from sources like this:

  cd src
  ./configure
  make


        Makarius
        06-Sep-2026
