Looking for the latest version? Download sigma-2-02.zip (30.9 MB)
Home
Name Modified Size Downloads / Week Status
Totals: 11 Items   152.3 MB 8
Sigma 2012-08-14 66 weekly downloads
README.txt 2015-03-06 1.1 kB 22 weekly downloads
epclextract 2015-03-06 411.8 kB 0
epcllemma 2015-03-06 411.7 kB 0
eprover 2015-03-06 2.5 MB 11 weekly downloads
e_ltb_runner 2015-03-06 571.6 kB 0
sigma_1.0-1_amd64.deb 2015-01-24 137.3 MB 11 weekly downloads
sigma-j15.war 2012-09-05 3.3 MB 11 weekly downloads
WinXPinstall.pdf 2012-08-14 2.2 MB 11 weekly downloads
WinXPinstall.doc 2012-08-14 3.3 MB 11 weekly downloads
sigma.war 2012-06-12 2.4 MB 11 weekly downloads
sigma_1.0-1_amd64.deb is the latest release, which can be installed with the instructions at https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/. Install via script from source on Linux or Mac OS with sh <(curl -L http://sigmakee.cvs.sourceforge.net/viewvc/sigmakee/sigma/install.sh) There are also instructions for Maven - https://sourceforge.net/p/sigmakee/wiki/Sigma%20with%20Maven/ Users should also see https://sourceforge.net/p/sigmakee/wiki/required_data_files/ Mac instructions - https://sourceforge.net/p/sigmakee/wiki/Sigma%20Setup%20on%20Mac/ Ubuntu - https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/ You'll need EProver to do inferences - http://www.eprover.org Obsolete Instructions --------------------- Previously, sigma.war was the latest binary beta release. Users should get the latest full release, which is sigma-2-02.zip http://sourceforge.net/projects/sigmakee/files/Sigma/sigma-2-02/sigma-2-02.zip/download install it per the instructions in the zip file, then replace the sigma.war file in the 2.02 release with the latest.
Source: README.txt, updated 2015-03-06