VERBS: versions
download of VERBS (verbs1.35.tar)
Running the Program (Tested on a Linux Platform with 128GB Memory)
run "tar -xvf verbs1.35.tar" to unpack the file.
type "cd verbs" to go to the program directory.
run "./verbs examples/mutex01.vvm" to check the program execution.
download of VERBS (verbs1.27.tar)
Running the Program (Tested on a Linux Platform with 128GB Memory)
run "tar -xvf verbs1.27.tar" to unpack the file.
type "cd verbs" to go to the program directory.
update "config.h" for specification of the SAT-solver to be used (recommended).
type "make" to compile the program.
run "./verbs ver/rr09vp7.ver" to check the program execution.
download of VERBS (verbs1.25.tar)
Running the Program (Tested on a Linux Platform with 128GB Memory)
run "tar -xvf verbs1.25.tar" to unpack the file.
type "cd verbs" to go to the program directory.
update "config.h" for specification of the SAT-solver to be used.
type "make" to compile the program.
run "./verbs ver/p1uu09ik.ver" to check the program execution.