name(sigma_ace).
version('2.0.3').
author('Douglas R. Miles','logicmoo@gmail.com').
title('Sigma ACE - First/2nd/Higher Order Inference Engine and Theorem Prover').
keywords([pttp,hol,clif,datalog,del,fol,snark,logicmoo,memoization]).
home('https://github.com/logicmoo/logicmoo_workspace/').
download('https://github.com/logicmoo/sigma_ace/git/release/*.tgz').
%requires(pfc).
%requires(instant_prolog_docs).
requires(logicmoo_utils).
requires(wam_common_lisp).
autoload(false).