| Name | Version | Summary | date |
| 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 |
| pyats.datastructures |
24.11 |
pyATS Datastructures: Extended Datastructures for Grownups |
2024-11-27 21:42:09 |
| problog |
2.2.6 |
ProbLog2: Probabilistic Logic Programming toolbox |
2024-11-04 15:13:38 |
| deaduction |
0.3.9996 |
Graphical proof assistant for learning proofs |
2024-09-23 14:35:59 |
| 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 |
| uplogic |
3.2.1.1 |
Uplogic utility for UPBGE. |
2024-07-14 14:01:06 |
| 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 |
| smcplaus |
1.1.5 |
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic |
2024-01-08 15:26:59 |
| 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 |