vampire-sys 0.5.2

Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)
Documentation 
1
2
3
4
5

Thanks to:

 - Geoff Sutcliffe for numerous bug reports and for running the annual CASC competition 

 - Nikolaj Bjørner for his support in integrating the Z3 SMT solver into Vampire (and then support in helping us debug things when they go wrong)