| Name | Version | Summary | date |
| wkrq |
1.0.7 |
A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification |
2025-07-29 16:32:19 |
| py-eval-in-order |
0.1.3 |
A Python package for evaluating multiple boolean conditions (uses eval) IN ORDER. |
2025-07-29 11:31:46 |
| uplogic |
4.5.1 |
Uplogic utility for UPBGE. |
2025-07-14 10:50:06 |
| pyats.datastructures |
25.6 |
pyATS Datastructures: Extended Datastructures for Grownups |
2025-07-11 14:29:47 |
| pyalslib |
1.3.0 |
Python implementation of the Catalog-based Aig-rewriting Approximate Logic Synthesis approximation technique |
2025-02-13 14:09:47 |
| deaduction |
0.3.9997 |
Graphical proof assistant for learning proofs |
2025-01-12 19:00:21 |
| unified-planning |
1.2.0 |
Unified Planning Framework |
2024-12-19 14:56:49 |
| pygplib |
2.3.2 |
Python First-Order Graph Property Library |
2024-12-05 10:13:43 |
| problog |
2.2.6 |
ProbLog2: Probabilistic Logic Programming toolbox |
2024-11-04 15:13:38 |
| bauhaus |
1.2.0 |
Build logical theories for SAT solvers on the fly |
2024-09-11 01:00:50 |
| deepproblog |
2.0.6 |
DeepProbLog: Problog with neural networks |
2024-08-09 07:41:04 |
| mathesis |
0.5.3 |
Formal logic library in Python for humans |
2024-07-18 17:33:39 |
| fuzzylogic |
1.4.1 |
Fuzzy Logic for Python 3 |
2024-05-24 10:37:03 |
| pydavid |
1.0.1 |
A simple Python interface of Open-David |
2024-03-29 16:49:06 |
| pystc |
2.0.0 |
A simple but extensible Python module for sentences |
2024-03-28 15:24:16 |
| omega |
0.4.0 |
Symbolic algorithms for solving games of infinite duration. |
2024-02-16 15:25:15 |
| classical-logic |
0.1.1 |
Python package for propositional logic. |
2024-02-14 05:09:38 |
| is-bigger |
0.2.1 |
A package to compare two integers |
2024-02-08 15:23:53 |
| implies |
0.4.5 |
A parser for logical formulas |
2024-01-26 21:50:28 |
| logicgate |
0.3.0 |
an esolang designed for manual encryption with logic gates |
2023-12-06 09:42:23 |