| Name | Version | Summary | date |
| 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 |
| eadapters |
0.4.3 |
E-Commerce Adapters |
2023-05-09 19:37:11 |
| deepproblog |
2.0.4 |
DeepProbLog: Problog with neural networks |
2023-03-21 08:51:46 |
| 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 |
| amr-logic-converter |
0.10.3 |
Convert Abstract Meaning Representation (AMR) into first-order logic |
2023-01-08 19:19:38 |
| ripe-commons-logic |
0.2.4 |
RIPE Commons Logic |
2023-01-04 15:02:05 |
| bauhaus |
1.1.4 |
Build logical theories for SAT solvers on the fly |
2022-12-13 05:05:22 |
| nnf |
0.4.1 |
Manipulate NNF (Negation Normal Form) logical sentences |
2022-12-13 05:01:13 |
| problog |
2.2.4 |
ProbLog2: Probabilistic Logic Programming toolbox |
2022-10-21 08:48:36 |
| boolean.py |
4.0 |
Define boolean algebras, create and parse boolean expressions and create custom boolean DSL. |
2022-05-05 08:19:01 |