Section: New Software and Platforms
Zipperposition
Zipperposition is an implementation of the superposition method that relies on the library Logtk for basic logic data structures and algorithms. Zipperposition is designed as a testbed for extensions to superposition, and can currently deal with polymorphic typed logic, integer arithmetic and total orderings.
In 2015, we extended Zipperposition to structural induction.