Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "quantifier" keyword
cwipy 0.5.5
Computing with words library8 versions - Latest release: about 4 years ago - 1 dependent repositories - 13 downloads last month - 2 stars on GitHub - 1 maintainer
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
fuzzy
1
very
1
expressive
1
CWiPy
1
modifier
1
hedge
1
query
1
database
1
first-order
1
propositional
1
logic
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