Regular Expressions 101

Community Patterns

1...45678...283

Vampire output formulas

0

Regular Expression
Python

r"
^\[(?P<phase>\w+)\] (?P<operation>[\w ]+): (?P<formula_id>\d+)\. (?P<formula>.+) \[(?P<inference>[\w ,]*)\]$
"
mg

Description

Parses the output of the automated theorem prover Vampire. Matches the output lines printed by the options --show_everything, --show_active, --show_new etc. Run vampire --show_everything on to generate a compatible string.

Submitted by Filip Bártek - 2 years ago