Docs.rs
vampire-sys-0.5.2
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
vampire-sys 0.5.2
Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)
Crate
Source
Builds
Feature flags
Documentation
..
AnswerLiteralManager.cpp
AnswerLiteralManager.hpp
BlockedClauseElimination.cpp
BlockedClauseElimination.hpp
CNF.cpp
CNF.hpp
CommandLine.cpp
CommandLine.hpp
DistinctGroupExpansion.cpp
DistinctGroupExpansion.hpp
DistinctProcessor.cpp
DistinctProcessor.hpp
EqResWithDeletion.cpp
EqResWithDeletion.hpp
EqualityProxy.cpp
EqualityProxy.hpp
EqualityProxyMono.cpp
EqualityProxyMono.hpp
Flattening.cpp
Flattening.hpp
FOOLElimination.cpp
FOOLElimination.hpp
FunctionDefinition.cpp
FunctionDefinition.hpp
FunctionDefinitionHandler.cpp
FunctionDefinitionHandler.hpp
GeneralSplitting.cpp
GeneralSplitting.hpp
GoalGuessing.cpp
GoalGuessing.hpp
InequalitySplitting.cpp
InequalitySplitting.hpp
InterpolantMinimizer.cpp
InterpolantMinimizer.hpp
Interpolants.cpp
Interpolants.hpp
InterpretedNormalizer.cpp
InterpretedNormalizer.hpp
Lexer.cpp
Lexer.hpp
LispLexer.cpp
LispLexer.hpp
LispParser.cpp
LispParser.hpp
Naming.cpp
Naming.hpp
NewCNF.cpp
NewCNF.hpp
NNF.cpp
NNF.hpp
Normalisation.cpp
Normalisation.hpp
Options.cpp
Options.hpp
PartialRedundancyHandler.cpp
PartialRedundancyHandler.hpp
PredicateDefinition.cpp
PredicateDefinition.hpp
Preprocess.cpp
Preprocess.hpp
Property.cpp
Property.hpp
Rectify.cpp
Rectify.hpp
Shuffling.cpp
Shuffling.hpp
SimplifyFalseTrue.cpp
SimplifyFalseTrue.hpp
SineUtils.cpp
SineUtils.hpp
Skolem.cpp
Skolem.hpp
SMTCheck.cpp
SMTCheck.hpp
SMTLIBLogic.hpp
Statistics.cpp
Statistics.hpp
SubexpressionIterator.cpp
SubexpressionIterator.hpp
SymbolDefinitionInlining.cpp
SymbolDefinitionInlining.hpp
SymbolOccurrenceReplacement.cpp
SymbolOccurrenceReplacement.hpp
SymCounter.cpp
SymCounter.hpp
TermAlgebra.cpp
TermAlgebra.hpp
TheoryAxioms.cpp
TheoryAxioms.hpp
TheoryFinder.cpp
TheoryFinder.hpp
TheoryFlattening.cpp
TheoryFlattening.hpp
Token.cpp
Token.hpp
TPTPPrinter.cpp
TPTPPrinter.hpp
TweeGoalTransformation.cpp
TweeGoalTransformation.hpp
UIHelper.cpp
UIHelper.hpp