compiled-knowledge 4.0.0a22__cp312-cp312-win_amd64.whl → 4.0.0a24__cp312-cp312-win_amd64.whl

ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c

@@ -13,7 +13,7 @@
             "/O2"
         ],
         "include_dirs": [
-            "C:\\Users\\runneradmin\\AppData\\Local\\Temp\\build-env-0p_rjbh1\\Lib\\site-packages\\numpy\\_core\\include"
+            "C:\\Users\\runneradmin\\AppData\\Local\\Temp\\build-env-b7kylfcw\\Lib\\site-packages\\numpy\\_core\\include"
         ],
         "name": "ck.pgm_compiler.support.circuit_table._circuit_table_cy",
         "sources": [

ck/pgm_compiler/support/join_tree.py

@@ -192,7 +192,7 @@ def _make_spanning_tree_small_root(cost: NDArrayFloat64, clusters: List[Set[int]
     Returns:
         (spanning_tree, root_index)
 
-        spanning_tree: is a spanning tree represented as a list of nodes, the list is coindexed with
+        spanning_tree: is a spanning tree represented as a list of nodes, the list is co-indexed with
         the given cost matrix, each node is a list of children, each child being
         represented as an index into the list of nodes.
 
@@ -219,7 +219,7 @@ def _make_spanning_tree_arbitrary_root(cost: NDArrayFloat64) -> Tuple[List[List[
     Returns:
         (spanning_tree, root_index)
 
-        spanning_tree: is a spanning tree represented as a list of nodes, the list is coindexed with
+        spanning_tree: is a spanning tree represented as a list of nodes, the list is co-indexed with
         the given cost matrix, each node is a list of children, each child being
         represented as an index into the list of nodes.
 
@@ -243,7 +243,7 @@ def _make_spanning_tree_at_root(
         root_custer_index: a nominated root cluster to be the root of the tree.
 
     Returns:
-        a spanning tree represented as a list of nodes, the list is coindexed with
+        a spanning tree represented as a list of nodes, the list is co-indexed with
         the given cost matrix, each node is a list of children, each child being
         represented as an index into the list of nodes. The root node is the
         index `root_custer_index` as passed to this function.

ck/probability/empirical_probability_space.py

@@ -1,4 +1,4 @@
-from typing import Sequence, Iterable, Tuple, Dict, List
+from typing import Sequence, Iterable, Tuple, Dict
 
 from ck.pgm import RandomVariable, Indicator, Instance
 from ck.probability.probability_space import ProbabilitySpace, Condition, check_condition
@@ -10,6 +10,8 @@ class EmpiricalProbabilitySpace(ProbabilitySpace):
         Enable probabilistic queries over a sample from a sample space.
         Note that this is not necessarily an efficient approach to calculating probabilities and statistics.
 
+        This probability space treats each of the samples as equally weighted.
+
         Assumes:
             len(sample) == len(rvs), for each sample in samples.
             0 <= sample[i] < len(rvs[i]), for each sample in samples, for i in range(len(rvs)).
@@ -19,7 +21,7 @@ class EmpiricalProbabilitySpace(ProbabilitySpace):
             samples: instances (state indexes) that are samples from the given rvs.
         """
         self._rvs: Sequence[RandomVariable] = tuple(rvs)
-        self._samples: List[Instance] = list(samples)
+        self._samples: Sequence[Instance] = tuple(samples)
         self._rv_idx_to_sample_idx: Dict[int, int] = {
             rv.idx: i
             for i, rv in enumerate(self._rvs)
@@ -47,4 +49,3 @@ class EmpiricalProbabilitySpace(ProbabilitySpace):
     @property
     def z(self) -> float:
         return len(self._samples)
-

ck/probability/pgm_probability_space.py

@@ -1,6 +1,6 @@
-from typing import Sequence, Iterable, Tuple, Dict, List
+from typing import Sequence, Tuple
 
-from ck.pgm import RandomVariable, Indicator, Instance, PGM
+from ck.pgm import RandomVariable, Indicator, PGM
 from ck.probability.probability_space import ProbabilitySpace, Condition, check_condition
 
 
@@ -12,6 +12,11 @@ class PGMProbabilitySpace(ProbabilitySpace):
 
         Args:
             pgm: The PGM to query.
+
+        Warning:
+            The resulting probability space assumes that the value of the partition
+            function, `z`, remains constant for the lifetime of the PGM. If the value
+            changes, then probabilities and statistics will be incorrect.
         """
         self._pgm = pgm
         self._z = None
@@ -29,4 +34,3 @@ class PGMProbabilitySpace(ProbabilitySpace):
         if self._z is None:
             self._z = self._pgm.value_product_indicators()
         return self._z
-

ck/probability/probability_space.py

@@ -1,10 +1,7 @@
-"""
-An abstract class for object providing probabilities.
-"""
 import math
 from abc import ABC, abstractmethod
 from itertools import chain
-from typing import Sequence, Tuple, Iterable, Callable
+from typing import Sequence, Tuple, Iterable, Callable, TypeAlias
 
 import numpy as np
 
@@ -13,8 +10,20 @@ from ck.utils.iter_extras import combos as _combos
 from ck.utils.map_set import MapSet
 from ck.utils.np_extras import dtype_for_number_of_states, NDArrayFloat64, DTypeStates, NDArrayNumeric
 
-# Type defining a condition.
-Condition = None | Indicator | Iterable[Indicator]
+Condition: TypeAlias = None | Indicator | Iterable[Indicator]
+Condition.__doc__ = \
+    """
+    Type defining a condition. A condition is logically a set of
+    indicators, each indicator representing a random variable being in some state.
+    
+    If multiple indicators of the same random variable appear in
+    a condition, then they are interpreted as
+    a disjunction, otherwise indicators are interpreted as
+    a conjunction. E.g.,  the condition (X=0, Y=1, Y=3) means
+    X=0 and (Y=1 or Y=3).
+    """
+
+_NAN: float = np.nan  # Not-a-number (i.e., the result of an invalid calculation).
 
 
 class ProbabilitySpace(ABC):
@@ -41,13 +50,9 @@ class ProbabilitySpace(ABC):
         """
         Return the weight of instances matching the given condition.
 
-        If multiple indicators of the same random variable appear in
-        the parameter 'indicators' then they are interpreted as
-        a disjunction, otherwise indicators are interpreted as
-        a conjunction. E.g.:  X=0, Y=1, Y=3  means X=0 and (Y=1 or Y=3)
-
         Args:
-            condition: zero or more indicators that specify a condition.
+            condition: a condition restricting the instances that are
+                considered in the result.
         """
 
     @property
@@ -56,6 +61,7 @@ class ProbabilitySpace(ABC):
         """
         Return the summed weight of all instances.
         This is equivalent to self.wmc(), with no arguments.
+        This is also known as the "partition function".
         """
 
     def probability(self, *indicators: Indicator, condition: Condition = ()) -> float:
@@ -80,11 +86,11 @@ class ProbabilitySpace(ABC):
         if len(condition) == 0:
             z = self.z
             if z <= 0:
-                return np.nan
+                return _NAN
         else:
             z = self.wmc(*condition)
             if z <= 0:
-                return np.nan
+                return _NAN
 
             # Combine the indicators with the condition
             # If a variable is mentioned in both the indicators and condition, then
@@ -617,6 +623,6 @@ def _normalise_marginal(distribution: NDArrayFloat64) -> None:
     """
     total = np.sum(distribution)
     if total <= 0:
-        distribution[:] = np.nan
+        distribution[:] = _NAN
     elif total != 1:
         distribution /= total

ck/program/raw_program.py

@@ -21,7 +21,11 @@ class RawProgram:
     A raw program is returned by a circuit compiler to provide execution of
     the function defined by a compiled circuit.
 
-    A `RawProgram` is a `Callable` with the signature:
+    A `RawProgram` is a `Callable`; given an array of input variable values,
+    return a numpy array of result values. Calling a RawProgram is not necessarily
+    an efficient method for executing a program as buffers are reallocated for
+    each call. Alternatively, a `RawProgram` can be wrapped in a `ProgramBuffer`
+    for computationally efficient memory buffer reuse.
 
     Fields:
         function: is a function of three ctypes arrays, returning nothing.
@@ -40,19 +44,33 @@ class RawProgram:
     number_of_results: int
     var_indices: Sequence[int]
 
-    def __call__(self, in_vars: NDArrayNumeric | Sequence[int | float]) -> NDArrayNumeric:
+    def __call__(self, var_values: NDArrayNumeric | Sequence[int | float] | int | float) -> NDArrayNumeric:
         """
-        Call the raw program as a function from an array to an array.
+        Call the raw program as a function. This method will allocate numpy arrays of type `self.dtype`
+        for input, temporary, and output values. If `var_values` is a numpy array of the needed
+        dtype then it will be used directly.
+
+        Args:
+            var_values: the input variable values. This can be a numpy array, a Python sequence of
+                floats or int, or a single float or int. The number of input values must equal
+                `self.number_of_vars`.
+
+        Returns:
+            a numpy array of result values with shape `(self.number_of_results,)`.
         """
         array_vars: NDArrayNumeric
         if isinstance(vars, np.ndarray):
-            array_vars = in_vars
+            if var_values.dtype != self.dtype:
+                array_vars = var_values.astype(self.dtype)
+            else:
+                array_vars = self.dtype
+        elif isinstance(vars, (int, float)):
+            array_vars = np.array([var_values], dtype=self.dtype)
         else:
-            array_vars = np.array(in_vars, dtype=self.dtype)
+            array_vars = np.array(var_values, dtype=self.dtype)
+
         if array_vars.shape != (self.number_of_vars,):
             raise ValueError(f'input array incorrect shape: got {array_vars.shape} expected ({self.number_of_vars},)')
-        if array_vars.dtype != self.dtype:
-            raise ValueError(f'input array incorrect dtype: got {array_vars.dtype} expected {self.dtype}')
 
         array_tmps: NDArrayNumeric = np.zeros(self.number_of_tmps, dtype=self.dtype)
         array_outs: NDArrayNumeric = np.zeros(self.number_of_results, dtype=self.dtype)
@@ -64,3 +82,18 @@ class RawProgram:
 
         self.function(c_array_vars, c_array_tmps, c_array_outs)
         return array_outs
+
+    def dump(self, *, prefix: str = '', indent: str = '  ') -> None:
+        """
+        Print a dump of the PGM.
+        This is intended for demonstration and debugging purposes.
+
+        Args:
+            prefix: optional prefix for indenting all lines.
+            indent: additional prefix to use for extra indentation.
+        """
+        print(f'{prefix}{self.__class__.__name__}')
+        print(f'{prefix}signature = [{self.number_of_vars}] -> [{self.number_of_results}]')
+        print(f'{prefix}temps = {self.number_of_tmps}')
+        print(f'{prefix}dtype = {self.dtype}')
+        print(f'{prefix}var_indices = {self.var_indices}')

ck/sampling/sampler_support.py

@@ -1,6 +1,6 @@
 from dataclasses import dataclass
 from itertools import count
-from typing import Callable, Sequence, Optional, Set, Tuple, Dict, Collection
+from typing import Callable, Sequence, Optional, Set, Tuple, Dict, Collection, TypeAlias
 
 from ck.pgm import Instance, RandomVariable, Indicator
 from ck.pgm_circuit.program_with_slotmap import ProgramWithSlotmap
@@ -10,10 +10,13 @@ from ck.utils.map_set import MapSet
 from ck.utils.np_extras import NDArrayStates, NDArrayNumeric
 from ck.utils.random_extras import Random
 
-# Type of a yield function. Support for a sampler.
-# A yield function may be used to implement a sampler's iterator, thus
-# it provides an Instance or single state index.
-YieldF = Callable[[NDArrayStates], int] | Callable[[NDArrayStates], Instance]
+YieldF: TypeAlias = Callable[[NDArrayStates], int] | Callable[[NDArrayStates], Instance]
+YieldF.__doc__ = \
+    """
+    Type of a yield function. Support for a sampler.
+    A yield function may be used to implement a sampler's iterator, thus
+    it provides an Instance or single state index.
+    """
 
 
 @dataclass

ck_demos/ace/simple_ace_demo.py

@@ -0,0 +1,18 @@
+from ck import example
+from ck.pgm import RVMap
+from ck.pgm_circuit.wmc_program import WMCProgram
+from ck.pgm_compiler import NamedPGMCompiler
+
+# create the example "Cancer" Bayesian network
+pgm = example.Cancer()
+
+# compile the PGM and construct an object for probabilistic queries
+wmc = WMCProgram(NamedPGMCompiler.ACE(pgm))
+
+# provide easy access to the random variables - not needed but simplifies this demo
+rvs = RVMap(pgm)
+
+# get the probability of having cancer given that pollution is high
+pr = wmc.probability(rvs.cancer('True'), condition=rvs.pollution('high'))
+
+print('probability of having cancer given that pollution is high =', pr)

ck_demos/getting_started/simple_demo.py

@@ -0,0 +1,18 @@
+from ck import example
+from ck.pgm import RVMap
+from ck.pgm_circuit.wmc_program import WMCProgram
+from ck.pgm_compiler import DEFAULT_PGM_COMPILER
+
+# create the example "Cancer" Bayesian network
+pgm = example.Cancer()
+
+# compile the PGM and construct an object for probabilistic queries
+wmc = WMCProgram(DEFAULT_PGM_COMPILER(pgm))
+
+# provide easy access to the random variables - not needed but simplifies this demo
+rvs = RVMap(pgm)
+
+# get the probability of having cancer given that pollution is high
+pr = wmc.probability(rvs.cancer('True'), condition=rvs.pollution('high'))
+
+print('probability of having cancer given that pollution is high =', pr)

ck_demos/programs/demo_raw_program_dump.py

@@ -0,0 +1,17 @@
+from ck.circuit import Circuit
+from ck.circuit_compiler import NamedCircuitCompiler
+
+
+def main() -> None:
+    cct = Circuit()
+    a, b, c, d = cct.new_vars(4)
+    top = a * b + c * d + 56.23
+
+    for compiler in NamedCircuitCompiler:
+        raw_program = compiler(top)
+        raw_program.dump()
+        print()
+
+
+if __name__ == '__main__':
+    main()

{compiled_knowledge-4.0.0a22.dist-info → compiled_knowledge-4.0.0a24.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: compiled-knowledge
-Version: 4.0.0a22
+Version: 4.0.0a24
 Summary: A Python package for compiling and querying discrete probabilistic graphical models.
 Author-email: Barry Drake <barry@compiledknowledge.org>
 License-Expression: MIT

{compiled_knowledge-4.0.0a22.dist-info → compiled_knowledge-4.0.0a24.dist-info}/RECORD

@@ -1,29 +1,29 @@
 ck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-ck/pgm.py,sha256=Uwo2A4qEtgwmKkma1HOsozn837435zEN9JUByYlfe-w,120701
+ck/pgm.py,sha256=PjRTOot-4_FAxEnJsJ0aZVflwq-INQCn8H8kmS5WTDU,120828
 ck/circuit/__init__.py,sha256=klUR7OVESf53-8Ho4f32clHFsR2SOz4XgwZzfDlms88,418
-ck/circuit/_circuit_cy.c,sha256=zBsA_-1MY4IpO1kF4xOPtIjp8AkCCmbYSw7hm9NQxC4,1742373
-ck/circuit/_circuit_cy.cp312-win_amd64.pyd,sha256=Te7ZttUIpLYmP7ihkRWnwQxnXOgT41RxmoOctV9x-8Q,242688
+ck/circuit/_circuit_cy.c,sha256=TmbBc9Mxkor12-JjNH5snykGG7I-oIpd8ddd6e7EzSM,1741715
+ck/circuit/_circuit_cy.cp312-win_amd64.pyd,sha256=wBCFtYAS9YyCmr4x5n2jqTY1VH5LMjFpRskfair7UU8,242688
 ck/circuit/_circuit_cy.pxd,sha256=F1WU4KuX_knXQX-hwNKoHsoUK3fJLbLOxEnomWMJFpI,1057
-ck/circuit/_circuit_cy.pyx,sha256=RGfHGBj3XibLw4S5CC6FVnXOHjpzU0_aoVowqIY2qzA,27773
-ck/circuit/_circuit_py.py,sha256=vN8lg01RyjA_YUphjx1dr0Uj4ql4seczRcoCaH7ylAw,28341
+ck/circuit/_circuit_cy.pyx,sha256=TIjqsdyN_IzOm9XQw26kEURpL6GSL1kJO3K-UUlkbQc,27763
+ck/circuit/_circuit_py.py,sha256=gQZoEphxut2UyBL0ZqmNc8KlNBSMST_VOCqOpDMIRSM,28331
 ck/circuit/tmp_const.py,sha256=dG9FuGfoAG5qjYG1rNwekqKiea_KmVfxHMTOgCPbBiQ,2372
 ck/circuit_compiler/__init__.py,sha256=T0Igyp5jPgnIXv4oRcIYhmsOdcNOb3L4Za6dK6eYk7g,132
-ck/circuit_compiler/circuit_compiler.py,sha256=8BLB8DUnPbpl5PXZsIopydPbItytdn2rzRfM2U1EC84,1018
-ck/circuit_compiler/interpret_compiler.py,sha256=7PjtEFNR0JMw56XaYP9IZ5ZNZTTLYCUUDiMDj7cN5f8,7373
+ck/circuit_compiler/circuit_compiler.py,sha256=xujLh120_G7AGJpv-IZTI4S1TpNf4gzHilaqvlKvfXA,1148
+ck/circuit_compiler/interpret_compiler.py,sha256=KMzLzIV-BU5l8GQ2833kjios4sbGSVUm4ero7MEYvVk,8786
 ck/circuit_compiler/llvm_compiler.py,sha256=6RHUCVWCOgt3ZNyjRTl2Z2npYJMWyAFJVAIc5SAx2mY,14023
-ck/circuit_compiler/llvm_vm_compiler.py,sha256=I46_XV5FrClDKO06zIjn8T3ME5XQ9RYJ_1aAE8e_YzM,21873
+ck/circuit_compiler/llvm_vm_compiler.py,sha256=XJhiAZmGMRRz49XUfng9lgETxVw6NgD6XCI0H3fX-1E,22200
 ck/circuit_compiler/named_circuit_compilers.py,sha256=snlD3JnhAZC-atKpf5GD0v4CGdvj2_ZhCZ3O-tsxzxc,2284
 ck/circuit_compiler/cython_vm_compiler/__init__.py,sha256=pEAwTleuZgdYhTAQMea2f9YsFK54eoNbZSbrWkW8aeE,49
-ck/circuit_compiler/cython_vm_compiler/_compiler.c,sha256=ly19gSYNgnEmyrrAjQooVL1BMULN5_IoyHNYZlEEJWQ,870540
-ck/circuit_compiler/cython_vm_compiler/_compiler.cp312-win_amd64.pyd,sha256=q95-GArE8rbjvDGoXSHHPga0vYtXopGoPgqRwW01k48,103424
-ck/circuit_compiler/cython_vm_compiler/_compiler.pyx,sha256=QS6FG5z-ay9fnUTCMwtJm89I3QpfY6RqS874zHvZrBA,13225
-ck/circuit_compiler/cython_vm_compiler/cython_vm_compiler.py,sha256=WywW6uhoyP-U5hWdF1amsE8fhbP9LbDtWTu2wVFkR2k,4066
+ck/circuit_compiler/cython_vm_compiler/_compiler.c,sha256=cvKLhF9XYKtj0bN1lY82dXhXNNPpBGGTVqkfQu32wYg,871325
+ck/circuit_compiler/cython_vm_compiler/_compiler.cp312-win_amd64.pyd,sha256=ODZp6PGDw4tE5pr8rfJCMdtNaDz3-Finmw_sC4ghThw,103936
+ck/circuit_compiler/cython_vm_compiler/_compiler.pyx,sha256=550r0AkOh8ZuuTRy3e6Aq-YqBQ82EKcap8e6f3zlEuM,13278
+ck/circuit_compiler/cython_vm_compiler/cython_vm_compiler.py,sha256=3Q-HCyA7VWFoXS9gn-k4LXedzqHPvdFNvWHfDcKYv6s,4473
 ck/circuit_compiler/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/circuit_compiler/support/input_vars.py,sha256=x6krN6sW9A-vZTteY4M4on_0vS4ChaaCcmnXcnQ4y0s,4812
-ck/circuit_compiler/support/llvm_ir_function.py,sha256=7SoYEQiBS2GHFknw0raH0ouJyBQmYp-ZydJVEXVo0Uw,7779
+ck/circuit_compiler/support/llvm_ir_function.py,sha256=f4gD591d8cytln4vY9Lxw_cJrSyQJ3iHES49eN44eec,8612
 ck/circuit_compiler/support/circuit_analyser/__init__.py,sha256=RbyIObAAb-w0Ky4fB198xAfxTh2doquN9ez68SZSZgo,536
-ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.c,sha256=uVBuaWzBVkkYIIkVGikKWR839DGW9ytriP6a2yEPEFQ,448751
-ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.cp312-win_amd64.pyd,sha256=kdIx89qPFfdUa15ADpVAFoc-3OHjdbXU7S9U1Dna6Ds,54272
+ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.c,sha256=pdGWGzEsPqJnlEmI1J58ccSXslpZHsdOXA39lvIZCv4,448751
+ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.cp312-win_amd64.pyd,sha256=CxuhRaCWVCsCP0tjh4Ga_0x_bPB6olb-0OLlvH1ctJ4,54272
 ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.pyx,sha256=ctDOHOjnUhdsR_XHBrgchFVTImLhsEUjU3cqkP-GdF8,3331
 ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_py.py,sha256=eWjc2B946LeSzcGa9PyI4XQvlx_B1KPEiQuM6OOFjjQ,3086
 ck/example/__init__.py,sha256=BXVxvTcl3tqgai-xJiGQIaG_ChlpPRdfWg985MQ7dwM,1744
@@ -80,7 +80,7 @@ ck/pgm_circuit/support/compile_circuit.py,sha256=krsTlZxLk_RHZL0qoRVAjyW78Zk2HZi
 ck/pgm_compiler/__init__.py,sha256=XCK1AWBBB9UYi6kbFnxMFzBL9a25EWfHnz_yn3ZKYuM,112
 ck/pgm_compiler/factor_elimination.py,sha256=6iMh_NdOQh4D5cuo8q1y7yUuj3glnM9I0OJ9vlJAGqU,13807
 ck/pgm_compiler/named_pgm_compilers.py,sha256=sI-dwF7mht6aEuVfsN3sIO_4oH7RrjIt5x9ZlBwVQys,3376
-ck/pgm_compiler/pgm_compiler.py,sha256=F44PtlwqMG0FS6KzOYKZuyZT6olWAVtBH-QXZPzz4O8,616
+ck/pgm_compiler/pgm_compiler.py,sha256=rhbICo7eAY9_dlGfg937zZal7hoc4slTvhxsob-6h_E,622
 ck/pgm_compiler/recursive_conditioning.py,sha256=U0NdIns8yLQtYR_MOf1w__CChpOMDlgRCL2nFRhtnzU,7936
 ck/pgm_compiler/variable_elimination.py,sha256=irAZ5b0vRGL_WGq7UrfQpMXhYBZO5YI2U_jf1-YV92Q,3547
 ck/pgm_compiler/ace/__init__.py,sha256=Rud883H68yz2Dw-NkiiTPC6rmii6hHKMHbtiU6_liug,97
@@ -88,26 +88,26 @@ ck/pgm_compiler/ace/ace.py,sha256=iyDacqArXW1cVP6tBabxRmmLWIHabuPkCoq2tWBm2ww,10
 ck/pgm_compiler/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/pgm_compiler/support/clusters.py,sha256=BzMmPWXBEXPvp9dZAuzA19Gbt4j9d-tdQuFbfwXD6MU,21504
 ck/pgm_compiler/support/factor_tables.py,sha256=tV9qE2zC8iwEQxTuXE6qiE6lmMpz4-Vc80_w5woo1tk,15556
-ck/pgm_compiler/support/join_tree.py,sha256=OGAuZVHzT0i4e6TJ03dOM7e3gbpuW9AyjZKvSBvKvJA,12894
+ck/pgm_compiler/support/join_tree.py,sha256=Chkyyo--ChgWEsDqTh8RCxPN7Z1NyvL--GjTC4ONvkY,12897
 ck/pgm_compiler/support/named_compiler_maker.py,sha256=g2MLnlkWXkISHL6dh23EY53SptTo7-itfuZogSpMdB8,1420
 ck/pgm_compiler/support/circuit_table/__init__.py,sha256=yJ05NvuNE9j0E_QnjDzHYfLqcHn5TdOleEpG3wSRgXQ,579
-ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c,sha256=4wnwUtsxyHGV0YSTzWOZn6bux4RhaK_zPdZxBY8C9io,730350
-ck/pgm_compiler/support/circuit_table/_circuit_table_cy.cp312-win_amd64.pyd,sha256=tWzEiXDAOYHg5Cr6ViUHj6rEni89PNa148w1pJpTJSk,97280
+ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c,sha256=MklGnlFKB1kN5kZFFJAy4owEjxAk0TI2BLYJwKYP90I,730350
+ck/pgm_compiler/support/circuit_table/_circuit_table_cy.cp312-win_amd64.pyd,sha256=fGHb7UbvWxVEWJS1ZnPCyAV6G54RQm8YAY2EyfIOEdM,97280
 ck/pgm_compiler/support/circuit_table/_circuit_table_cy.pyx,sha256=rVO1yxjZmZ6yv5s0zKq4Ji9WYrDuYTZsRG_zeF1_1xE,12015
 ck/pgm_compiler/support/circuit_table/_circuit_table_py.py,sha256=h6xPYGBSy6XHQBFLPD2D1-V7Kiw9utY68nWrcGRMEg4,11287
 ck/probability/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-ck/probability/empirical_probability_space.py,sha256=HoLxmigzlWFWQlcZQwDOYk-mjgf6RW1IPE-l0t8vMPw,1950
-ck/probability/pgm_probability_space.py,sha256=vK-drx145PWW2aYB8HttQcvhvqPfxVl72bPcFO8jw8M,1034
-ck/probability/probability_space.py,sha256=itv3dNEpSTLhKg6JCNhe7Iy6n9MKWqeKO4RxKR9kKF0,25882
+ck/probability/empirical_probability_space.py,sha256=aLUdmN98KpmgZjuO4QXqcMkK9GmF-Btvoj1SwK_gSQI,2029
+ck/probability/pgm_probability_space.py,sha256=Slmp0mwDMoVh_86Y8L1QjAQsneazcK2VGQcRW8O2C3M,1267
+ck/probability/probability_space.py,sha256=36_lCk3gVBU0i5SyCt2BBYoDhWnFxroaScObzmN9EYw,26172
 ck/program/__init__.py,sha256=Ss9-0eqsGxCGloD6liH-0iqBG5Q3vPRF4XCw2hkDJ0M,110
 ck/program/program.py,sha256=gDJ5Q2kXZuaoHboa9yNTg0tQH9S-Gmw0BRx6PPV28pU,4184
 ck/program/program_buffer.py,sha256=1fiUcT7sqyr4vu8jXzK3ZsrgURFhWMdm6hr2BeS9ONA,5665
-ck/program/raw_program.py,sha256=94D74Vz5Hu8p3JYNKT9kflXHuj0jscNBoX4O5Ug7G8A,2623
+ck/program/raw_program.py,sha256=J8jbyhc1X9PxX5DFMFeIIRHbh65JTkAxFRbjVjzxz7s,4257
 ck/sampling/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/sampling/forward_sampler.py,sha256=pTtpaH_ONH67G4P-aJ1p8YZSaXr4TTD6pj3ZEI2y7KM,8348
 ck/sampling/marginals_direct_sampler.py,sha256=p1jDr1stG2Hjay3D8hILezW-5YZTX1p3odUcJDAI-OQ,4466
 ck/sampling/sampler.py,sha256=qhfguy8rnVQBVVXhJylvh-8Kq7rfHW62a3DEtv9v7Xc,2306
-ck/sampling/sampler_support.py,sha256=beFJ993yXyvy5y2T7tJmK638ESp3qvErFWoM3BEwD5E,9742
+ck/sampling/sampler_support.py,sha256=z--w6ZaJwy0lBWTzYC0SR80-i8vjZ5XFlZqo2F4QPqQ,9808
 ck/sampling/uniform_sampler.py,sha256=NCN1T77v4g4hsdNgIsZDxHBndfj4AghLSk8WKQt_2a0,2586
 ck/sampling/wmc_direct_sampler.py,sha256=7qiz-bRlQ59ZBJmg0bEG0y63pXTVXNVx4d410BGhnJg,7265
 ck/sampling/wmc_gibbs_sampler.py,sha256=GMKVW2AVtsWtP6vxE3Y2dy-dKr7GoO_vLEA9eC304fo,6567
@@ -126,12 +126,15 @@ ck_demos/all_demos.py,sha256=E1SZDvG0l_j1PfHZLemHocezw10uY5uGl3yE3BX87DE,2556
 ck_demos/ace/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/ace/copy_ace_to_ck.py,sha256=TJHPGcUbd1a6OjH3Fw7c3fno8ULPbf5p3V_lBmiNR-k,303
 ck_demos/ace/demo_ace.py,sha256=Ve_0Ho-jeOrfpFAV-XBSW_jxcWqFYeCQyo_VQd3Aik4,1458
+ck_demos/ace/simple_ace_demo.py,sha256=cC1ZHiq5VbF1LmIjyYaHlUnku_3wP5FJ3sa537x-0xU,664
 ck_demos/circuit/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/circuit/demo_circuit_dump.py,sha256=CQC5cxXaaRuVZ3d8h-SqXs8EJo0Tm5H5l7T9ad6pyEk,458
 ck_demos/circuit/demo_derivatives.py,sha256=3JoWVAEKLEoLjq6QzWkq4Z-qVq1l0tHvGDn5erVuozc,1186
 ck_demos/circuit_compiler/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/circuit_compiler/compare_circuit_compilers.py,sha256=IEzwvKt6c8wrmAyd6F0sUaNaWYEx1BBFQhRyDt7cibI,756
 ck_demos/circuit_compiler/show_llvm_program.py,sha256=HKUuyLfBjH6ZgD8l4gQWVSBPUh55ZCXjPa7ZEdm5OyU,712
+ck_demos/getting_started/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+ck_demos/getting_started/simple_demo.py,sha256=AR40OtUVd-CJOxFlsu8_RtGLL2LLnZg506SzrIx7OQA,668
 ck_demos/pgm/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/pgm/demo_pgm_dump.py,sha256=egcjSjMDJdyzxWGvHrgdF_g3CFYozLKv4XSXzvSfWbg,248
 ck_demos/pgm/demo_pgm_dump_stress.py,sha256=L9S3yp0EQM56kWztV4A6XzEqITOGbThImZIU0JofCDg,285
@@ -159,6 +162,7 @@ ck_demos/programs/demo_program_buffer.py,sha256=2XuBE15PmJOtdsyzqlq_LgHrYPj59_Ej
 ck_demos/programs/demo_program_multi.py,sha256=8mTZycb5onaDKThLOvoR9oeCdWD8k8K0hVIKxCxMkq0,624
 ck_demos/programs/demo_program_none.py,sha256=PDo3Ua0j-g8GXrAfLt3oWa2H-_cTMvo_7GwNimCRaNc,480
 ck_demos/programs/demo_program_single.py,sha256=CVbipru3BxUGol565MY3Q_G0z4GLNnSrgFMw58ilU0Q,598
+ck_demos/programs/demo_raw_program_dump.py,sha256=A8eNKxK618FxAVnMMMOdvSz_nwZEaDUvuQKoey6w9dA,370
 ck_demos/programs/demo_raw_program_interpreted.py,sha256=iPbGXsj8ZQl4RMIZZBF7oDHEEnAl31kIilQFPcqSA98,528
 ck_demos/programs/demo_raw_program_llvm.py,sha256=a3V85jgyqrCBJpBmfVWpY9Nx5l0WhfvzgIXEdCcxRXA,523
 ck_demos/sampling/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -171,8 +175,8 @@ ck_demos/utils/compare.py,sha256=Bwjpflevl4nusfA0zp96rInaVKFGuhC5Xv7HzA1Fobk,508
 ck_demos/utils/convert_network.py,sha256=TSKj8q7L7J5rhrvwjaDkdYZ0Sg8vV5FRL_vCanX1CQw,1363
 ck_demos/utils/sample_model.py,sha256=in-Nlv-iuNIu6y9fDuMyo7nzgimBuTAnCWcpnVqvqDQ,8839
 ck_demos/utils/stop_watch.py,sha256=VzXHRWx0V8vPSD-bLgLlEYkCkR2FA0-KmM_pfKx-Pxo,13205
-compiled_knowledge-4.0.0a22.dist-info/licenses/LICENSE.txt,sha256=uMYx7tmroEKNASizbCOwPveMQsD5UErLDC1_SANmNn8,1089
-compiled_knowledge-4.0.0a22.dist-info/METADATA,sha256=eJdp11Ps62kBb4jFBn6-ROz4TIXeWGBJFDoq49vzO7g,1838
-compiled_knowledge-4.0.0a22.dist-info/WHEEL,sha256=8UP9x9puWI0P1V_d7K2oMTBqfeLNm21CTzZ_Ptr0NXU,101
-compiled_knowledge-4.0.0a22.dist-info/top_level.txt,sha256=Cf8DAfd2vcnLiA7HlxoduOzV0Q-8surE3kzX8P9qdks,12
-compiled_knowledge-4.0.0a22.dist-info/RECORD,,
+compiled_knowledge-4.0.0a24.dist-info/licenses/LICENSE.txt,sha256=uMYx7tmroEKNASizbCOwPveMQsD5UErLDC1_SANmNn8,1089
+compiled_knowledge-4.0.0a24.dist-info/METADATA,sha256=AVKPNHhibL3GdHqdsIO0Stn2FfxPTSiYsQ03YjNAoTk,1838
+compiled_knowledge-4.0.0a24.dist-info/WHEEL,sha256=8UP9x9puWI0P1V_d7K2oMTBqfeLNm21CTzZ_Ptr0NXU,101
+compiled_knowledge-4.0.0a24.dist-info/top_level.txt,sha256=Cf8DAfd2vcnLiA7HlxoduOzV0Q-8surE3kzX8P9qdks,12
+compiled_knowledge-4.0.0a24.dist-info/RECORD,,