vampire-sys-0.5.2
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

vampire-sys 0.5.2

Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)

Crate
Source
Builds
Feature flags

..
AbstractPassiveClauseContainers.hpp
AWPassiveClauseContainers.cpp
AWPassiveClauseContainers.hpp
ClauseContainer.cpp
ClauseContainer.hpp
ConsequenceFinder.cpp
ConsequenceFinder.hpp
Discount.cpp
Discount.hpp
ExtensionalityClauseContainer.cpp
ExtensionalityClauseContainer.hpp
LabelFinder.cpp
LabelFinder.hpp
LRS.cpp
LRS.hpp
ManCSPassiveClauseContainer.cpp
ManCSPassiveClauseContainer.hpp
Otter.cpp
Otter.hpp
PredicateSplitPassiveClauseContainers.cpp
PredicateSplitPassiveClauseContainers.hpp
ProvingHelper.cpp
ProvingHelper.hpp
SaturationAlgorithm.cpp
SaturationAlgorithm.hpp
Splitter.cpp
Splitter.hpp
SymElOutput.cpp
SymElOutput.hpp