Software

Aktuelle Projekte

• SPASS
• SPASS+T
• Waldmeister

Ausgelaufene Projekte

• COMPIT - COMParison of Indexing Techniques for automated reasoning
• OPBDP - linear 0-1 (pseudo-boolean) optimization
• SATURATE - an experimental theorem prover for first-order logic, primarily based on saturation
• SCAN - elimination of second-order quantifiers.