vampire-sys 0.5.2

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

(define-fun foo ((b Bool)) Int (let ((b2 b)) (ite b2 123 456)))
(assert (not (= (foo true) 123)))
(check-sat)