Software

Current Projects

• SPASS
• SPASS+T
• Waldmeister

Previous Projects

• 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.