Releases

The latest releases of veriT. Releases with the suffix -rmx are optimized for proof production and do not support non-linear arithmetic.

Unstable

This release is automatically generated from the latest commit to our internal repository.

• 2022-06-23
• Changelog
• Proofonomicon: A Reference of the veriT Proof Format

	File	SHA256
Source Code	verit-2021.06-40-gc20206d-rmx.tar.gz	d1741d8a6a50ea236b39b825666012297004c19ec9a6b91138342bb9d135980b
Windows Binaries	verit-windows-x86_64-2021.06-40-gc20206d-rmx.zip	08c7b64dab0ec62392994db6bd77e354192f2684de790383b76e0fe2bcdc9c86

2021.06.2-rmx

• 2021-11-17
• Changelog
• Proofonomicon: A Reference of the veriT Proof Format

	File	SHA256
Source Code	verit-2021.06.2-rmx.tar.gz	42b11fe6b91da3c6390cf01b66ccc0d5b78274e8cc07c4688419f4a86ddf5bfa
Windows Binaries	verit-windows-x85_64-2021.06.2-rmx.zip	2148343433f78f533efe6b7f7bdfe94667ae4d762933b34c0f5c4fa0a7f32835

2021.06.1-rmx

• 2021-11-03
• Changelog
• Proofonomicon: A Reference of the veriT Proof Format

	File	SHA256
Source Code	verit-2021.06.1-rmx.tar.gz	4e5e78c36517fbd0696b483b834565bc6fe806d77dbbe0d99dcbcc46983b0f88
Windows Binaries	verit-windows-x85_64-2021.06.1-rmx.zip	e645806519306cc609b5b9fbec6908d020b8583275f910a037d5bb382ef999c5

2021.06-rmx

• 2021-06-29
• Changelog
• Proofonomicon: A Reference of the veriT Proof Format

	File	SHA256
Source Code	verit-2021.06-rmx.tar.gz	c09bb1613f8faac830e7dcbcde9abd1103f107ede9a9777e0a6a950e80330809
Windows Binaries	verit-windows-x85_64-2021.06-rmx.zip	dfb0cffb4402f973fdb2306ef4a0df89ec6895a61ea98e575204f95ef6b193a6

2020.10-rmx

• 2020-10-15
• Changelog
• Proofonomicon: A Reference of the veriT Proof Format

	File	SHA256
Source Code	verit-2020.10-rmx.tar.gz	7058ab8359fe0f77ada3a2effb02ab9c39c55935b54d91cfb4e958eecfec1d86
Windows Binaries	verit-windows-x85_64-2020.10-rmx.zip	b256bb758ebe227de6d5e820d32de617e76cdeda3e38bcc690b4bdb85964b440

2016

• 2016-10

	File	SHA256
Source Code	veriT-stable2016.tar.gz	5a63e371feb720bbbedaef9de422deae565fc4fc0930d369b357f6abe4ec4272
Windows Installer	setup-veriT-2016.1.exe	8bec735297065068d9868da1250f45bccf36dbf9e1029f8b074f62f06323773f

For questions, comments, feature requests and bug reports, please .

While reporting bugs, please make sure you give enough information in your report to enable us to reproduce and fix the problem:

• Tell us the version of veriT you are using (including the operating system)
• Try to send us a minimal example that causes the problem

Thanks for helping us improving veriT.