Download Waldmeister
Waldmeister is available as a 64-bit Linux binary.
In the distribution you will also find included a short introduction (a short primer you can also find on these web pages) and a prepared collection of problems you could use to test Waldmeister. Certainly you are also asked to provide and test Waldmeister with problems of your own choice.
Download Waldmeister here