issues
search
fandreuz
/
BisPy
BisPy - Python bisimulation library
MIT License
14
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Patch 1
#36
danielskatz
closed
3 years ago
0
Unique term for "initial partition"
#35
fandreuz
opened
3 years ago
0
Saha iterator
#34
SV-97
closed
3 years ago
7
Add unified and simple to use API
#33
SV-97
closed
3 years ago
1
Add iterator/generator interface for saha
#32
SV-97
closed
3 years ago
5
Clean tests
#31
fandreuz
opened
3 years ago
1
Initial partition should be renamed to labeling set
#30
fandreuz
closed
3 years ago
0
Crash with random graphs
#29
fandreuz
closed
3 years ago
1
Priority queue when we want to process in order of rank
#28
fandreuz
opened
3 years ago
0
Symbolic algorithm
#27
fandreuz
opened
3 years ago
0
is_integer_graph=False crashes
#26
fandreuz
closed
3 years ago
1
Dovier-Piazza-Policriti: Paige-Tarjan Bonic
#25
fandreuz
opened
3 years ago
0
Support k-bisimulation
#24
fandreuz
opened
3 years ago
0
Support labeled edges
#23
fandreuz
opened
3 years ago
0
Use NumPy for lists that never change
#22
fandreuz
opened
3 years ago
0
Use vertexes_to_color in paige_tarjan notebook
#21
fandreuz
opened
3 years ago
0
RankedSplit: wrong implementation?
#20
fandreuz
closed
3 years ago
1
Improve the public interface
#19
fandreuz
closed
2 years ago
1
Implement Single Edge Deletion
#18
fandreuz
opened
3 years ago
0
Proper implementation of propagate_nwf
#17
fandreuz
closed
3 years ago
3
FBA is quite faster than PTA
#16
fandreuz
closed
3 years ago
1
Fba
#15
fandreuz
closed
3 years ago
0
Fba
#14
fandreuz
closed
3 years ago
0
Fba
#13
fandreuz
closed
3 years ago
0
Patch3
#12
fandreuz
closed
3 years ago
0
Wrapper for graphs whose nodes are not integer numbers
#11
fandreuz
closed
3 years ago
0
Fba
#10
fandreuz
closed
3 years ago
0
Fba
#9
fandreuz
closed
3 years ago
0
Improved README.md
#8
fandreuz
closed
3 years ago
0
packaging
#7
fandreuz
closed
3 years ago
0
Chaos
#6
fandreuz
closed
3 years ago
0
Test param
#5
fandreuz
closed
3 years ago
1
Test param
#4
fandreuz
closed
3 years ago
0
Parameterized (non-random) tests
#3
fandreuz
closed
3 years ago
0
Refinement
#2
fandreuz
closed
3 years ago
0
add license
#1
fandreuz
closed
3 years ago
0