logic_tools 0.3.2 → 0.3.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 050637aebd4a23cf2fad66977655693b4bfec213
-  data.tar.gz: 633b3b494230e852f4bb4f5b41bf6cfc445de661
+  metadata.gz: e3959c85da2264b72f5ae3a4b0fe8eda6cfab768
+  data.tar.gz: 0424225bcee4edac9f7e161024b61c9427aa91a1
 SHA512:
-  metadata.gz: a61b43345ddf05b11fbf9dd01a19bd4c8570e8d609e4a5d4da58a2bd786eb19c2ec028489cdaed9b4801f76681bb97e18c321d39e52dfd91463801324e9659d6
-  data.tar.gz: 017c29e9181dc2421f4260a5852d515de011088a9e495e55f21c6d511246435460ee54ef1079a89350b1d654120e9f00fa5e3656046ba4c6f92b0421a389bcf1
+  metadata.gz: ba63032be6f4b07afadab832f410f4b365132ac89fd5f0e7e926b9413e7de3d7e6f96cca1a710b187e18c0599681ba1002a86c1dab2b8997b882f110c773a8a2
+  data.tar.gz: fb61f85742828cae87c0ac3ff377ffef9a51c0cb4a740f52bf6da16b0a73565f8505302799acddc5c024b5065c017b4340cedde8dba2917d74b3e72c61a492e6

data/README.md

@@ -101,6 +101,6 @@ The gem is available as open source under the terms of the [MIT License](http://
 
 
 ## To do
-* Add a more efficient alternative command to simplify_qm, based on the Espresso algorithm for example.
+* Update the code of simplify_qm so that it uses the optimized LogicTool::Cover class and minimal\_column\_covers methods.
 
 

data/lib/logic_tools/version.rb

@@ -1,3 +1,3 @@
 module LogicTools
-  VERSION = "0.3.2"
+  VERSION = "0.3.3"
 end

data/logic_tools.gemspec

@@ -13,9 +13,12 @@ Gem::Specification.new do |spec|
   spec.description   = %Q{LogicTools is a set of command-line tools for processing logic expressions. 
 The tools include: 
 simplify_qm for simplifying a logic expression, 
+simplify_es for simplifying a logic expression much more quickly than simplify_qm, 
 std_conj for computing the conjunctive normal form of a logic expression, 
 std_dij for computing the disjunctive normal form a of logic expression, 
-and truth_tbl for generating the truth table of a logic expression.}
+truth_tbl for generating the truth table of a logic expression,
+is_tautology for checking if a logic expression is a tautology or not,
+and complement for computing the complement of a logic expression.}
   spec.homepage      = "https://github.com/civol"
   spec.license       = "MIT"
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: logic_tools
 version: !ruby/object:Gem::Version
-  version: 0.3.2
+  version: 0.3.3
 platform: ruby
 authors:
 - Lovic Gauthier
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-01-16 00:00:00.000000000 Z
+date: 2017-01-17 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -67,10 +67,12 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 description: "LogicTools is a set of command-line tools for processing logic expressions.
-  \nThe tools include: \nsimplify_qm for simplifying a logic expression, \nstd_conj
+  \nThe tools include: \nsimplify_qm for simplifying a logic expression, \nsimplify_es
+  for simplifying a logic expression much more quickly than simplify_qm, \nstd_conj
   for computing the conjunctive normal form of a logic expression, \nstd_dij for computing
-  the disjunctive normal form a of logic expression, \nand truth_tbl for generating
-  the truth table of a logic expression."
+  the disjunctive normal form a of logic expression, \ntruth_tbl for generating the
+  truth table of a logic expression,\nis_tautology for checking if a logic expression
+  is a tautology or not,\nand complement for computing the complement of a logic expression."
 email:
 - lovic@ariake-nct.ac.jp
 executables: