Index of /CompLangs/Isabelle2023/contrib/vampire-4.6/src/Shell
Parent Directory
AnswerExtractor.cpp
AnswerExtractor.hpp
BlockedClauseElimination.cpp
BlockedClauseElimination.hpp
CNF.cpp
CNF.hpp
CParser.cpp
CParser.hpp
CommandLine.cpp
CommandLine.hpp
ConstantRemover.cpp
ConstantRemover.hpp
ConstraintReaderBack.cpp
ConstraintReaderBack.hpp
DistinctGroupExpansion.cpp
DistinctGroupExpansion.hpp
DistinctProcessor.cpp
DistinctProcessor.hpp
EqResWithDeletion.cpp
EqResWithDeletion.hpp
EqualityAxiomatizer.cpp
EqualityAxiomatizer.hpp
EqualityProxy.cpp
EqualityProxy.hpp
EqualityProxyMono.cpp
EqualityProxyMono.hpp
EqualityVariableRemover.cpp
EqualityVariableRemover.hpp
EquivalentVariableRemover.cpp
EquivalentVariableRemover.hpp
FOOLElimination.cpp
FOOLElimination.hpp
Flattening.cpp
Flattening.hpp
FunctionDefinition.cpp
FunctionDefinition.hpp
GeneralSplitting.cpp
GeneralSplitting.hpp
GlobalOptions.cpp
GlobalOptions.hpp
GoalGuessing.cpp
GoalGuessing.hpp
Grounding.cpp
Grounding.hpp
HalfBoundingRemover.cpp
HalfBoundingRemover.hpp
InequalitySplitting.cpp
InequalitySplitting.hpp
InterpolantMinimizer.cpp
InterpolantMinimizer.hpp
InterpolantMinimizerNew.cpp
InterpolantMinimizerNew.hpp
Interpolants.cpp
Interpolants.hpp
InterpolantsNew.cpp
InterpolantsNew.hpp
InterpretedNormalizer.cpp
InterpretedNormalizer.hpp
LaTeX.cpp
LaTeX.hpp
LambdaElimination.cpp
LambdaElimination.hpp
Lexer.cpp
Lexer.hpp
LispLexer.cpp
LispLexer.hpp
LispParser.cpp
LispParser.hpp
NNF.cpp
NNF.hpp
Naming.cpp
Naming.hpp
NewCNF.cpp
NewCNF.hpp
Normalisation.cpp
Normalisation.hpp
Options.cpp
Options.hpp
PARSER_TKV.cpp
PARSER_TKV.hpp
PDUtils.cpp
PDUtils.hpp
PredicateDefinition.cpp
PredicateDefinition.hpp
Preprocess.cpp
Preprocess.hpp
Profile.cpp
Profile.hpp
Property.cpp
Property.hpp
Rectify.cpp
Rectify.hpp
Refutation.cpp
Refutation.hpp
SMTFormula.cpp
SMTFormula.hpp
SMTLEX.cpp
SMTLEX.hpp
SMTLIBLogic.hpp
SMTPAR.cpp
SMTPAR.hpp
SMTPrinter.cpp
SMTPrinter.hpp
Shuffling.cpp
Shuffling.hpp
SimplifyFalseTrue.cpp
SimplifyFalseTrue.hpp
SineUtils.cpp
SineUtils.hpp
Skolem.cpp
Skolem.hpp
Statistics.cpp
Statistics.hpp
SubexpressionIterator.cpp
SubexpressionIterator.hpp
SubsumptionRemover.cpp
SubsumptionRemover.hpp
SymCounter.cpp
SymCounter.hpp
SymbolDefinitionInlining.cpp
SymbolDefinitionInlining.hpp
SymbolOccurrenceReplacement.cpp
SymbolOccurrenceReplacement.hpp
TPTPPrinter.cpp
TPTPPrinter.hpp
TermAlgebra.cpp
TermAlgebra.hpp
TheoryAxioms.cpp
TheoryAxioms.hpp
TheoryFinder.cpp
TheoryFinder.hpp
TheoryFlattening.cpp
TheoryFlattening.hpp
Token.cpp
Token.hpp
TrivialPredicateRemover.cpp
TrivialPredicateRemover.hpp
UIHelper.cpp
UIHelper.hpp
UnificationWithAbstractionConfig.cpp
UnificationWithAbstractionConfig.hpp
VarManager.cpp
VarManager.hpp