vampire-sys 0.5.2

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

# compile and execute with a single 'make' the API tests in '../../build'
test:
	$(MAKE) -C .. api