[Sigmakee-develop] Inference Engine Support
Status: Beta
Brought to you by:
apease
|
From: Alan M. <ala...@gm...> - 2008-05-12 23:49:39
|
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? |