Difference between revisions of "E"

From Free Software Directory
Jump to: navigation, search
(Created page with "{{Entry |Name=E |Short description=Automated theorem prover |Full description=E is an equational theorem prover. You give it a mathematical specification (in clausal logic with e...")
 
Line 1: Line 1:
 
{{Entry
 
{{Entry
|Name=E
+
|Name=e
|Short description=Automated theorem prover
+
|Short description="is a command line utility that extracts lots of different archives.
|Full description=E is an equational theorem prover. You give it a mathematical specification (in clausal logic with equality) and a hypothesis; it will then try to find a proof for the hypothesis (and sometimes succeed). E is build on top of (and by now inseparable from) CLIB, a collection of library functions for building programs the follow the basic input-processing-output paradigm, with additional support for most levels of first-order logic. The code has been used to build a couple of other applications by now. CLIB is layered, with higher layers becoming more specialized. Lower levels take care of the scientifically uninteresting, but necessary services for production-quality efficient programs, e.g. error handling, memory management, parsing of input, etc. They should be useful for most programs. Higher level modules implement shared and unshared terms, equations, clauses and related stuff.
+
|Full description=The program e is a command line utility that extracts lots of different archives. It is very simple and can be extended very easily.<br />
 +
It is inspired by how firewall use their rulesets, and works like this:
 +
* For each file that has to be extracted, the rules are matched one after the other.
 +
* When a rule matches (either by the filetype or filename), the command is executed.
 +
* If the command does not return an error code the extraction is considered successful, otherwise the next rules are matched.
 +
* It currently has rules for zip, rar, 7zip, gzip, bzip2, rpm, cab, arj, ace, ppmd, lzo, tar.bz2, tar.gz, ar, cpio, dar, uharc, zzip, and many more.
 
|User level=none
 
|User level=none
 
|Status=Live
 
|Status=Live
|Component programs=CLIB
+
|Component programs=
|Homepage URL=http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
+
|Homepage URL=http://martin.ankerl.com/2006/08/11/program-e-extract-any-archive
 
|VCS checkout command=
 
|VCS checkout command=
|Computer languages=C,Shell script,awk
+
|Computer languages=Ruby
|Documentation note=User guide in LaTeX format included; User guide in PostScript format available from http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.ps; User guide in PDF format available from http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.pdf; User README available in HTML format from http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_0.81/README
+
|Documentation note=
 
|Paid support=
 
|Paid support=
 
|IRC help=
 
|IRC help=
Line 15: Line 20:
 
|IRC development=
 
|IRC development=
 
|Related projects=
 
|Related projects=
|Keywords=math,mathematics,theorem,e,prover
+
|Keywords=Compression,backup,extract,unzip,extraction
 
|Is GNU=n
 
|Is GNU=n
|Last review by=Janet Casey
+
|Last review by=Martin Ankerl
|Last review date=2004-01-16
+
|Last review date=2007-04-03
 
|Submitted by=Database conversion
 
|Submitted by=Database conversion
 
|Submitted date=2011-04-01
 
|Submitted date=2011-04-01
|Version identifier=0.81
+
|Version identifier=NO_VERSION_DATA
|Version date=2004-01-16
+
|Version date=1970-01-01
|Version status=beta
+
|Version status=stable
|Version download=http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_0.81/E.tgz
+
|Version download=http://martin.ankerl.com/files/e
|License verified date=2001-01-31
+
|License verified date=2007-04-03
|Version comment=0.81 beta released on 2004-01-16
+
|Version comment=NO_VERSION_DATA
 
}}
 
}}
 
{{Person
 
{{Person
 
|Role=Maintainer
 
|Role=Maintainer
|Real name=Stephan Schulz
+
|Real name=Martin Ankerl
|Email=schulz@informatik.tu-muenchen.de
+
|Email=martin.ankerl@gmail.com
 
|Resource URL=
 
|Resource URL=
 +
}}
 +
{{Resource
 +
|Resource audience=Bug Tracking
 +
|Resource kind=E-mail
 +
|Resource URL=mailto:martin.ankerl@gmail.com
 
}}
 
}}
 
{{Software category
 
{{Software category
|Interface=command-line,library
+
|Interface=command-line
|Use=mathematics
+
|System-administration=backup
 +
|Use=system-administration
 
}}
 
}}
 
{{Project license
 
{{Project license
|License=GPLv2
+
|License=PublicDomain
|License verified by=Janet Casey
+
|License verified by=Ted Teah
|License verified date=2001-01-31
+
|License verified date=2007-04-03
 
}}
 
}}
 
{{Software prerequisite
 
{{Software prerequisite
|Prerequisite kind=Weak prerequisite
+
|Prerequisite kind=Required to use
|Prerequisite description=LaTeX2e
+
|Prerequisite description=Ruby
 
}}
 
}}

Revision as of 10:47, 12 April 2011


[edit]

e

http://martin.ankerl.com/2006/08/11/program-e-extract-any-archive
"is a command line utility that extracts lots of different archives.

The program e is a command line utility that extracts lots of different archives. It is very simple and can be extended very easily.
It is inspired by how firewall use their rulesets, and works like this:

  • For each file that has to be extracted, the rules are matched one after the other.
  • When a rule matches (either by the filetype or filename), the command is executed.
  • If the command does not return an error code the extraction is considered successful, otherwise the next rules are matched.
  • It currently has rules for zip, rar, 7zip, gzip, bzip2, rpm, cab, arj, ace, ppmd, lzo, tar.bz2, tar.gz, ar, cpio, dar, uharc, zzip, and many more.





Licensing

License

Verified by

Verified on

Notes

Verified by

Ted Teah

Verified on

3 April 2007




Leaders and contributors

Contact(s)Role
Martin Ankerl Maintainer


Resources and communication

AudienceResource typeURI
Ruby (Ref)https://rubygems.org/gems/e
Bug TrackingE-mailmailto:martin.ankerl@gmail.com
Python (Ref)https://pypi.org/project/e


Software prerequisites

KindDescription
Required to useRuby




Entry

















Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.