logic_tools 0.3.2 → 0.3.3
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/README.md +1 -1
- data/lib/logic_tools/version.rb +1 -1
- data/logic_tools.gemspec +4 -1
- metadata +7 -5
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: e3959c85da2264b72f5ae3a4b0fe8eda6cfab768
|
4
|
+
data.tar.gz: 0424225bcee4edac9f7e161024b61c9427aa91a1
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: ba63032be6f4b07afadab832f410f4b365132ac89fd5f0e7e926b9413e7de3d7e6f96cca1a710b187e18c0599681ba1002a86c1dab2b8997b882f110c773a8a2
|
7
|
+
data.tar.gz: fb61f85742828cae87c0ac3ff377ffef9a51c0cb4a740f52bf6da16b0a73565f8505302799acddc5c024b5065c017b4340cedde8dba2917d74b3e72c61a492e6
|
data/README.md
CHANGED
@@ -101,6 +101,6 @@ The gem is available as open source under the terms of the [MIT License](http://
|
|
101
101
|
|
102
102
|
|
103
103
|
## To do
|
104
|
-
*
|
104
|
+
* Update the code of simplify_qm so that it uses the optimized LogicTool::Cover class and minimal\_column\_covers methods.
|
105
105
|
|
106
106
|
|
data/lib/logic_tools/version.rb
CHANGED
data/logic_tools.gemspec
CHANGED
@@ -13,9 +13,12 @@ Gem::Specification.new do |spec|
|
|
13
13
|
spec.description = %Q{LogicTools is a set of command-line tools for processing logic expressions.
|
14
14
|
The tools include:
|
15
15
|
simplify_qm for simplifying a logic expression,
|
16
|
+
simplify_es for simplifying a logic expression much more quickly than simplify_qm,
|
16
17
|
std_conj for computing the conjunctive normal form of a logic expression,
|
17
18
|
std_dij for computing the disjunctive normal form a of logic expression,
|
18
|
-
|
19
|
+
truth_tbl for generating the truth table of a logic expression,
|
20
|
+
is_tautology for checking if a logic expression is a tautology or not,
|
21
|
+
and complement for computing the complement of a logic expression.}
|
19
22
|
spec.homepage = "https://github.com/civol"
|
20
23
|
spec.license = "MIT"
|
21
24
|
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: logic_tools
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.3.
|
4
|
+
version: 0.3.3
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Lovic Gauthier
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date: 2017-01-
|
11
|
+
date: 2017-01-17 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: bundler
|
@@ -67,10 +67,12 @@ dependencies:
|
|
67
67
|
- !ruby/object:Gem::Version
|
68
68
|
version: '0'
|
69
69
|
description: "LogicTools is a set of command-line tools for processing logic expressions.
|
70
|
-
\nThe tools include: \nsimplify_qm for simplifying a logic expression, \
|
70
|
+
\nThe tools include: \nsimplify_qm for simplifying a logic expression, \nsimplify_es
|
71
|
+
for simplifying a logic expression much more quickly than simplify_qm, \nstd_conj
|
71
72
|
for computing the conjunctive normal form of a logic expression, \nstd_dij for computing
|
72
|
-
the disjunctive normal form a of logic expression, \
|
73
|
-
|
73
|
+
the disjunctive normal form a of logic expression, \ntruth_tbl for generating the
|
74
|
+
truth table of a logic expression,\nis_tautology for checking if a logic expression
|
75
|
+
is a tautology or not,\nand complement for computing the complement of a logic expression."
|
74
76
|
email:
|
75
77
|
- lovic@ariake-nct.ac.jp
|
76
78
|
executables:
|