[Sigmakee-develop] Inference Engine Support

[Alan M. <ala...@gm...>]

I think I read somewhere that the inference engine behind Sigma is
Vampire.  If I have problems with basic inference, is there
documentation on the engine or support forums?