| Name | Version | Summary | date |
| 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 |
| mvmt |
0.0.9 |
A package for checking the validity of many-valued modal formulas |
2023-10-06 10:20:00 |
| cbirds |
0.1.0 |
Combinatory Birds |
2023-06-09 00:28:40 |
| pylogics |
0.2.1 |
A Python library for logic formalisms representation and manipulation. |
2023-06-06 08:26:46 |
| jutl |
0.5.3 |
A Python package of useful tools and utilities. |
2023-05-27 05:21:12 |
| tensor-theorem-prover |
0.14.0 |
Customizable first-order logic theorem prover supporting approximate vector similarity in unification |
2023-02-07 17:24:31 |
| opengrammar |
0.1.0a0 |
Open Source Inference Engine |
2023-02-05 14:06:08 |
| ripe-commons-logic |
0.2.4 |
RIPE Commons Logic |
2023-01-04 15:02:05 |
| nnf |
0.4.1 |
Manipulate NNF (Negation Normal Form) logical sentences |
2022-12-13 05:01:13 |
| boolean.py |
4.0 |
Define boolean algebras, create and parse boolean expressions and create custom boolean DSL. |
2022-05-05 08:19:01 |