Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "ldlf" keyword

pythogic 0.2.9

Python package for deal with logical formulas and formal systems
12 versions - Latest release: about 6 years ago - 1 dependent repositories - 30 downloads last month - 5 stars on GitHub - 1 maintainer

flloat 0.3.0

A Python implementation of the FLLOAT library.
20 versions - Latest release: about 4 years ago - 8 dependent repositories - 202 downloads last month - 20 stars on GitHub - 1 maintainer

pylogics 0.2.1

A Python library for logic formalisms representation and manipulation.
7 versions - Latest release: 12 months ago - 3 dependent packages - 5 dependent repositories - 383 downloads last month - 10 stars on GitHub - 1 maintainer

Related Keywords

logic 3 ltlf 3 linear-temporal-logic 2 ltl 2 propositional-logic 2 pltlf 1 pltl 1 pldlf 1 pldl 1 ldl 1 temporal logic 1 predicate logic 1 propositional logic 1 automata 1 flloat 1 logic-formalisms 1 formal-methods 1 formal-logic 1 formal-languages 1 first-order-logic 1 pythogic 1