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...")
 
(Added Python and Ruby link)
 
(3 intermediate revisions by 3 users not shown)
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.
 +
|Homepage URL=http://martin.ankerl.com/2006/08/11/program-e-extract-any-archive
 
|User level=none
 
|User level=none
|Status=Live
+
|Is High Priority Project=No
|Component programs=CLIB
+
|Computer languages=Ruby
|Homepage URL=http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
+
|Accepts cryptocurrency donations=No
|VCS checkout command=
+
|Keywords=Compression,backup,extract,unzip,extraction
|Computer languages=C,Shell script,awk
+
|Version date=2009-06-25
|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
+
|Version status=stable
|Paid support=
+
|Version download=http://martin.ankerl.com/files/e
|IRC help=
+
|Last review by=Bendikker
|IRC general=
+
|Last review date=2018/03/29
|IRC development=
 
|Related projects=
 
|Keywords=math,mathematics,theorem,e,prover
 
|Is GNU=n
 
|Last review by=Janet Casey
 
|Last review date=2004-01-16
 
 
|Submitted by=Database conversion
 
|Submitted by=Database conversion
 
|Submitted date=2011-04-01
 
|Submitted date=2011-04-01
|Version identifier=0.81
+
|Is GNU=No
|Version date=2004-01-16
+
|License verified date=2007-04-03
|Version status=beta
+
}}
|Version download=http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_0.81/E.tgz
+
{{Project license
|License verified date=2001-01-31
+
|License=PublicDomain
|Version comment=0.81 beta released on 2004-01-16
+
|License verified by=Ted Teah
 +
|License verified date=2007-04-03
 
}}
 
}}
 
{{Person
 
{{Person
 +
|Real name=Martin Ankerl
 
|Role=Maintainer
 
|Role=Maintainer
|Real name=Stephan Schulz
+
|Email=martin.ankerl@gmail.com
|Email=schulz@informatik.tu-muenchen.de
+
}}
|Resource URL=
+
{{Resource
 +
|Resource audience=Python (Ref)
 +
|Resource URL=https://pypi.org/project/e
 +
}}
 +
{{Resource
 +
|Resource audience=Ruby (Ref)
 +
|Resource URL=https://rubygems.org/gems/e
 +
}}
 +
{{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
+
|Programming-language=ruby
}}
+
|System-administration=backup
{{Project license
+
|Use=system-administration
|License=GPLv2
 
|License verified by=Janet Casey
 
|License verified date=2001-01-31
 
 
}}
 
}}
 
{{Software prerequisite
 
{{Software prerequisite
|Prerequisite kind=Weak prerequisite
+
|Prerequisite kind=Required to use
|Prerequisite description=LaTeX2e
+
|Prerequisite description=Ruby
 
}}
 
}}
 +
{{Featured}}

Latest revision as of 13:53, 29 March 2018


[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










"Python (Ref)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.


"Ruby (Ref)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.












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.