VMTL

Download VMTL

To run VMTL a java runtime environment version 1.5 or newer is required. It can be downloaded here.

VMTL is distributed with the Minisat satisfiability solver.



The current version of VMTL is 1.3

Get it: vmtl_1_3.zip

Older Versions

vmtl_1_1.zip

Get the VMTL library for creating custom dependency pair processors

Library vmtl_lib_1_3.zip

Older Versions

vmtl_lib_1_1.zip


Howto
Last Update: January 31, 2009
Contact: vmtl@logic.at