tulip-control omega issues - Githubissues

tulip-control / omega

Specify and synthesize systems using symbolic algorithms

https://pypi.org/project/omega

Other

46 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Converting Automaton to MDD?

#14 glarange closed 3 years ago
5
Question: Plotting an Automaton

#13 glarange closed 3 years ago
3
Understand synthesize algorithms ()

#12 DangMinh24 opened 4 years ago
4
How does logic.past work?

#11 thisiscam opened 4 years ago
3
Change node to nodes for network2.x compatibility

#10 tichakornw closed 4 years ago
9
update URLs johnyf/dd to tulip-control/dd and johnyf/omega to tulip-control/omega

#9 slivingston closed 4 years ago
1
in README, update URL of Travis CI jobs page; check Coveralls

#8 slivingston closed 4 years ago
0
update to `networkx >= 2.0`

#7 johnyf closed 6 years ago
1
compile symbolic code into Python code

#6 johnyf opened 7 years ago
1
update the documentation

#5 johnyf closed 6 years ago
1
consider warning when expression contains numeral outside refinement domain

#4 johnyf opened 7 years ago
0
untype the variables

#3 johnyf opened 7 years ago
0
support Python 3

#2 johnyf closed 7 years ago
1
support multi-player games

#1 johnyf closed 6 years ago
2