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
..
ALASCA
ArithmeticSubtermGeneralization
AnswerLiteralProcessors.cpp
AnswerLiteralProcessors.hpp
ArgCong.cpp
ArgCong.hpp
ArithmeticSubtermGeneralization.cpp
ArithmeticSubtermGeneralization.hpp
BackwardDemodulation.cpp
BackwardDemodulation.hpp
BackwardSubsumptionAndResolution.cpp
BackwardSubsumptionAndResolution.hpp
BackwardSubsumptionDemodulation.cpp
BackwardSubsumptionDemodulation.hpp
BinaryResolution.cpp
BinaryResolution.hpp
BoolEqToDiseq.cpp
BoolEqToDiseq.hpp
BoolSimp.cpp
BoolSimp.hpp
Cancellation.cpp
Cancellation.hpp
Cases.cpp
Cases.hpp
CasesSimp.cpp
CasesSimp.hpp
Choice.cpp
Choice.hpp
CNFOnTheFly.cpp
CNFOnTheFly.hpp
CodeTreeForwardSubsumptionAndResolution.cpp
CodeTreeForwardSubsumptionAndResolution.hpp
Condensation.cpp
Condensation.hpp
DefinitionIntroduction.cpp
DefinitionIntroduction.hpp
DemodulationHelper.cpp
DemodulationHelper.hpp
DistinctEqualitySimplifier.cpp
DistinctEqualitySimplifier.hpp
EqualityFactoring.cpp
EqualityFactoring.hpp
EqualityResolution.cpp
EqualityResolution.hpp
EquationalTautologyRemoval.cpp
EquationalTautologyRemoval.hpp
ExtensionalityResolution.cpp
ExtensionalityResolution.hpp
Factoring.cpp
Factoring.hpp
FastCondensation.cpp
FastCondensation.hpp
FOOLParamodulation.cpp
FOOLParamodulation.hpp
ForwardDemodulation.cpp
ForwardDemodulation.hpp
ForwardGroundJoinability.cpp
ForwardGroundJoinability.hpp
ForwardLiteralRewriting.cpp
ForwardLiteralRewriting.hpp
ForwardSubsumptionAndResolution.cpp
ForwardSubsumptionAndResolution.hpp
ForwardSubsumptionDemodulation.cpp
ForwardSubsumptionDemodulation.hpp
FunctionDefinitionRewriting.cpp
FunctionDefinitionRewriting.hpp
FunctionEvaluation.hpp
GaussianVariableElimination.cpp
GaussianVariableElimination.hpp
GlobalSubsumption.cpp
GlobalSubsumption.hpp
Induction.cpp
Induction.hpp
InductionHelper.cpp
InductionHelper.hpp
InferenceEngine.cpp
InferenceEngine.hpp
Injectivity.cpp
Injectivity.hpp
InnerRewriting.cpp
InnerRewriting.hpp
Instantiation.cpp
Instantiation.hpp
InterpretedEvaluation.cpp
InterpretedEvaluation.hpp
LfpRule.hpp
NegativeExt.cpp
NegativeExt.hpp
PolynomialEvaluation.cpp
PolynomialEvaluation.hpp
ProofExtra.cpp
ProofExtra.hpp
PushUnaryMinus.cpp
PushUnaryMinus.hpp
SubsumptionDemodulationHelper.cpp
SubsumptionDemodulationHelper.hpp
Superposition.cpp
Superposition.hpp
TautologyDeletionISE.cpp
TautologyDeletionISE.hpp
TermAlgebraReasoning.cpp
TermAlgebraReasoning.hpp
TheoryInstAndSimp.cpp
TheoryInstAndSimp.hpp
URResolution.cpp
URResolution.hpp