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.

• 2021-07-04
• Changelog
• Proofonomicon: A Reference of the veriT Proof Format

	File	SHA256
Source Code	verit-2021.06-1-g8735d9c-rmx.tar.gz	7190b10ee9c31200a80723f3b160739d8b19bb594a1e81ce691a7c982171911b
Windows Binaries	verit-windows-x85_64-2021.06-1-g8735d9c-rmx.zip	79b5e85a6c187b2e169b87a708b3ea91d66fac8abda6320706d147b6947224ed

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

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

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.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

2016

• 2016-10

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