Name | Version | Summary | date |
uplogic |
2.2 |
Uplogic utility for UPBGE. |
2024-04-23 18:19:08 |
mathesis |
0.5.1 |
Formal logic library in Python for humans |
2024-04-23 17:33:29 |
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 |
pyats.datastructures |
24.3 |
pyATS Datastructures: Extended Datastructures for Grownups |
2024-03-26 18:33:30 |
lcrl |
0.0.8 |
Logically-Constrained Reinforcement Learning |
2024-02-28 16:33:34 |
dep-logic |
0.2.0 |
Python dependency specifications supporting logical operations |
2024-02-23 05:01:45 |
janus-swi |
1.1.4 |
Janus library to call SWI-Prolog |
2024-02-22 15:29:58 |
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 |
unified-planning |
1.1.0 |
Unified Planning Framework |
2024-02-09 09:53:55 |
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 |
smcplaus |
1.1.5 |
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic |
2024-01-08 15:26:59 |
json-criteria |
0.1.2 |
Python library designed for evaluating data against serializable JSON criteria |
2024-01-05 02:40:43 |
schemdraw |
0.18 |
Electrical circuit schematic drawing |
2023-12-29 19:10:44 |
logicgate |
0.3.0 |
an esolang designed for manual encryption with logic gates |
2023-12-06 09:42:23 |
PDDL-Prover |
1.0.0 |
A python prover for evaluating FOL formulas on PDDL |
2023-11-22 00:22:50 |
pyeda |
0.29.0 |
Python Electronic Design Automation |
2023-11-19 17:38:55 |
truth-table-generator |
2.0.0 |
Python API that auto generates truth tables |
2023-11-08 22:50:54 |