boolean-algebra-engine 0.1.7__tar.gz → 0.1.8__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/PKG-INFO +5 -5
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/README.md +1 -1
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/boolean_algebra_engine.egg-info/PKG-INFO +5 -5
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/pyproject.toml +4 -4
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/LICENSE +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/api/__init__.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/api/routes.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/boolean_algebra_engine.egg-info/SOURCES.txt +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/boolean_algebra_engine.egg-info/dependency_links.txt +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/boolean_algebra_engine.egg-info/entry_points.txt +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/boolean_algebra_engine.egg-info/requires.txt +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/boolean_algebra_engine.egg-info/top_level.txt +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/cli/__init__.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/cli/main.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/core/__init__.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/core/evaluator.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/core/models.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/core/parser.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/core/synthesizer.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/mcp_server/__init__.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/mcp_server/server.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/nl/__init__.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/nl/nl.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/setup.cfg +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/tests/test_edge_cases.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/tests/test_evaluator.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/tests/test_integration.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/tests/test_models.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/tests/test_parser.py +0 -0
- {boolean_algebra_engine-0.1.7 → boolean_algebra_engine-0.1.8}/tests/test_synthesizer.py +0 -0
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: boolean-algebra-engine
|
|
3
|
-
Version: 0.1.
|
|
3
|
+
Version: 0.1.8
|
|
4
4
|
Summary: Deterministic logic layer for AI agents — catch logical contradictions in system prompts, rules, and agent reasoning
|
|
5
5
|
Author-email: Aditya Shrivastava <aditya.shrivastava.architect@proton.me>
|
|
6
6
|
License-Expression: GPL-3.0-only
|
|
7
|
-
Project-URL: Homepage, https://github.com/Shrivastava-Aditya/boolean-
|
|
8
|
-
Project-URL: Repository, https://github.com/Shrivastava-Aditya/boolean-
|
|
9
|
-
Project-URL: Issues, https://github.com/Shrivastava-Aditya/boolean-
|
|
7
|
+
Project-URL: Homepage, https://github.com/Shrivastava-Aditya/boolean-LLM-eval
|
|
8
|
+
Project-URL: Repository, https://github.com/Shrivastava-Aditya/boolean-LLM-eval
|
|
9
|
+
Project-URL: Issues, https://github.com/Shrivastava-Aditya/boolean-LLM-eval/issues
|
|
10
10
|
Keywords: boolean,algebra,logic,truth-table,quine-mccluskey,digital-logic
|
|
11
11
|
Classifier: Development Status :: 3 - Alpha
|
|
12
12
|
Classifier: Intended Audience :: Developers
|
|
@@ -222,7 +222,7 @@ Both models score 50% — equal to a coin flip — but in opposite directions. t
|
|
|
222
222
|
|
|
223
223
|
The `vars` column shows how many variables each case involves. The `engine` column is ground truth. Every mismatch with `llm` is a provable hallucination — not an opinion.
|
|
224
224
|
|
|
225
|
-

|
|
226
226
|
|
|
227
227
|
Per-case strips (bottom row of the chart): every conflict cell is uniformly one colour per model, every compatible cell is the opposite. No case-by-case variation — no reasoning happening at all.
|
|
228
228
|
|
|
@@ -175,7 +175,7 @@ Both models score 50% — equal to a coin flip — but in opposite directions. t
|
|
|
175
175
|
|
|
176
176
|
The `vars` column shows how many variables each case involves. The `engine` column is ground truth. Every mismatch with `llm` is a provable hallucination — not an opinion.
|
|
177
177
|
|
|
178
|
-

|
|
179
179
|
|
|
180
180
|
Per-case strips (bottom row of the chart): every conflict cell is uniformly one colour per model, every compatible cell is the opposite. No case-by-case variation — no reasoning happening at all.
|
|
181
181
|
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: boolean-algebra-engine
|
|
3
|
-
Version: 0.1.
|
|
3
|
+
Version: 0.1.8
|
|
4
4
|
Summary: Deterministic logic layer for AI agents — catch logical contradictions in system prompts, rules, and agent reasoning
|
|
5
5
|
Author-email: Aditya Shrivastava <aditya.shrivastava.architect@proton.me>
|
|
6
6
|
License-Expression: GPL-3.0-only
|
|
7
|
-
Project-URL: Homepage, https://github.com/Shrivastava-Aditya/boolean-
|
|
8
|
-
Project-URL: Repository, https://github.com/Shrivastava-Aditya/boolean-
|
|
9
|
-
Project-URL: Issues, https://github.com/Shrivastava-Aditya/boolean-
|
|
7
|
+
Project-URL: Homepage, https://github.com/Shrivastava-Aditya/boolean-LLM-eval
|
|
8
|
+
Project-URL: Repository, https://github.com/Shrivastava-Aditya/boolean-LLM-eval
|
|
9
|
+
Project-URL: Issues, https://github.com/Shrivastava-Aditya/boolean-LLM-eval/issues
|
|
10
10
|
Keywords: boolean,algebra,logic,truth-table,quine-mccluskey,digital-logic
|
|
11
11
|
Classifier: Development Status :: 3 - Alpha
|
|
12
12
|
Classifier: Intended Audience :: Developers
|
|
@@ -222,7 +222,7 @@ Both models score 50% — equal to a coin flip — but in opposite directions. t
|
|
|
222
222
|
|
|
223
223
|
The `vars` column shows how many variables each case involves. The `engine` column is ground truth. Every mismatch with `llm` is a provable hallucination — not an opinion.
|
|
224
224
|
|
|
225
|
-

|
|
226
226
|
|
|
227
227
|
Per-case strips (bottom row of the chart): every conflict cell is uniformly one colour per model, every compatible cell is the opposite. No case-by-case variation — no reasoning happening at all.
|
|
228
228
|
|
|
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "boolean-algebra-engine"
|
|
7
|
-
version = "0.1.
|
|
7
|
+
version = "0.1.8"
|
|
8
8
|
description = "Deterministic logic layer for AI agents — catch logical contradictions in system prompts, rules, and agent reasoning"
|
|
9
9
|
readme = "README.md"
|
|
10
10
|
license = "GPL-3.0-only"
|
|
@@ -40,9 +40,9 @@ dev = ["pytest>=8.0.0", "httpx>=0.24.0", "z3-solver>=4.12.0"]
|
|
|
40
40
|
boolcalc = "cli.main:app"
|
|
41
41
|
|
|
42
42
|
[project.urls]
|
|
43
|
-
Homepage = "https://github.com/Shrivastava-Aditya/boolean-
|
|
44
|
-
Repository = "https://github.com/Shrivastava-Aditya/boolean-
|
|
45
|
-
Issues = "https://github.com/Shrivastava-Aditya/boolean-
|
|
43
|
+
Homepage = "https://github.com/Shrivastava-Aditya/boolean-LLM-eval"
|
|
44
|
+
Repository = "https://github.com/Shrivastava-Aditya/boolean-LLM-eval"
|
|
45
|
+
Issues = "https://github.com/Shrivastava-Aditya/boolean-LLM-eval/issues"
|
|
46
46
|
|
|
47
47
|
[tool.setuptools.packages.find]
|
|
48
48
|
include = ["core*", "cli*", "mcp_server*", "api*", "nl*"]
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|