at
.
logic
.
gapt
.
provers
vampire
package
vampire
Content Hierarchy
Vampire
Vampire
Visibility
Public
All
Type Members
class
Vampire
extends
ResolutionProver
with
ExternalProgram
Value Members
object
Vampire
extends
Vampire
Ungrouped