Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "temporal logic" keyword
Top 9.0% on pypi.org
19 versions - Latest release: 4 months ago - 2 dependent packages - 9 dependent repositories - 507 downloads last month - 45 stars on GitHub - 3 maintainers
omega 0.4.0
Symbolic algorithms for solving games of infinite duration.19 versions - Latest release: 4 months ago - 2 dependent packages - 9 dependent repositories - 507 downloads last month - 45 stars on GitHub - 3 maintainers
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
2
transition system
1
automaton
1
automata
1
streett
1
rabin
1
temporal tester
1
gr1
1
generalized reactivity
1
logic-minimization
1
python
1
synthesis
1
temporal-logic
1
propositional logic
1
predicate logic
1
ldl
1
ldlf
1
ltl
1
ltlf
1
pldl
1
pldlf
1
pltl
1
pltlf
1
first-order
1
propositional
1
quantifier
1
forall
1
exists
1
fixpoint
1
mu-calculus
1
formula
1
flatten
1
bitblaster
1
bitvector
1
arithmetic
1
binary decision diagram
1
symbolic
1
games
1
specification
1
system
1
assume
1
guarantee
1
satisfiability
1
enumeration
1
state machine
1