Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "propositional" 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
Related Keywords
first-order
1
logic
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
transition system
1
automaton
1
automata
1
streett
1
rabin
1
temporal logic
1
temporal tester
1
gr1
1
generalized reactivity
1
logic-minimization
1
python
1
synthesis
1
temporal-logic
1