Renamed quorums to quoracle.

examples/case_study.py

@@ -4,7 +4,7 @@ matplotlib.use('pdf')
 font = {'size': 8}
 matplotlib.rc('font', **font)
 
-from quorums import *
+from quoracle import *
 import datetime
 import matplotlib.pyplot as plt
 

examples/examples.py

@@ -1,4 +1,4 @@
-from quorums import *
+from quoracle import *
 
 
 def load(qs: QuorumSystem, fr: float, f: int) -> float:

examples/paper.py

@@ -1,4 +1,4 @@
-from quorums import *
+from quoracle import *
 import datetime
 
 

examples/plot_load_distribution.py

@@ -1,4 +1,4 @@
-from quorums import *
+from quoracle import *
 import matplotlib
 import matplotlib.pyplot as plt
 import numpy as np

examples/plot_node_loads.py

@@ -1,4 +1,4 @@
-from quorums import *
+from quoracle import *
 import datetime
 import matplotlib
 import matplotlib.pyplot as plt

examples/plot_workload_distribution.py

@@ -4,7 +4,7 @@ matplotlib.use('pdf')
 font = {'size': 8}
 matplotlib.rc('font', **font)
 
-from quorums import *
+from quoracle import *
 import itertools
 import matplotlib
 import matplotlib.pyplot as plt

examples/tutorial.py

@@ -1,4 +1,4 @@
-from quorums import *
+from quoracle import *
 
 a = Node('a')
 b = Node('b')

tests/test_expr.py

@@ -1,5 +1,5 @@
-from quorums import *
-from quorums.expr import *
+from quoracle import *
+from quoracle.expr import *
 from typing import Any, FrozenSet
 import unittest
 

tests/test_geometry.py

@@ -1,5 +1,5 @@
-from quorums import *
-from quorums.geometry import *
+from quoracle import *
+from quoracle.geometry import *
 from typing import Any, Callable, List, NamedTuple, Optional, Tuple
 import unittest
 

tests/test_quorum_system.py

@@ -1,5 +1,5 @@
-from quorums import *
-from quorums.quorum_system import *
+from quoracle import *
+from quoracle.quorum_system import *
 import unittest
 
 

tests/test_search.py

@@ -1,6 +1,6 @@
-from quorums import *
-from quorums.expr import Expr
-from quorums.search import _dup_free_exprs, _partitionings
+from quoracle import *
+from quoracle.expr import Expr
+from quoracle.search import _dup_free_exprs, _partitionings
 from typing import Any, FrozenSet, List
 import datetime
 import unittest

tests/test_strategy.py

@@ -1,5 +1,5 @@
-from quorums import *
-from quorums.quorum_system import *
+from quoracle import *
+from quoracle.quorum_system import *
 import unittest