The Emping package
utility that reads a table in a csv (comma separated) format that can be generated from Open Office Calc (spreadsheet), derives all shortest rules for a selected attribute, and writes them to a .csv file that can be read by OO Calc. The shortest rules may be partially ordered by implication (entailment) and equivalence (equality) and the top level is also shown in .csv format. Optionally all logical entailments and equalities are listed as well. If the data set contains ambiguous rules or more occurrences of the same rule the user is warned. Version 0.4 allows blank fields for values and has a Gtk2Hs based GUI.
|Versions||0.1, 0.2, 0.3, 0.3.1, 0.4, 0.5, 0.5.1, 0.6|
|Dependencies||base, containers, parsec|
|Copyright||Hans van Thiel 2006 - 2008|
|Author||Hans van Thiel|
|Upload date||Fri Mar 7 10:15:26 UTC 2008|
|Build failure||ghc-6.10 (log), ghc-6.12 (log), ghc-6.8 (log)|