Download Waldmeister

The Waldmeister distribution is available for
  • Solaris
  • Linux
  • Cygwin
  • or
  • Mac OS X
In each 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.

Get it!

If you are interested in getting an executable, you just have to fill out the following form.
If you need the sources, please mention it in the comments field. We will then contact you as soon as possible!

The data will only be kept to maintain contact between people who develop Waldmeister and those who use it.

Your name
Email address

What is your interest in Waldmeister?

If you just have a special unit-equality-problem that you wish to have solved, send it along with some additional information.
Do you have any comments you would like to know us about?
Do you want to be put on the Waldmeister mailing list? We want to provide you with information on new releases of the Waldmeister theorem prover.
yes no

Copyright © 1998-2007 by Max-Planck-Institut für Informatik. All rights reserved.
Imprint and legal notices. www site design and concept by Doris Diedrich.

Document last changed on Friday, 12-Oct-2007 14:19:05 MEST.