python-sat 1.8.dev30__cp313-cp313-win_amd64.whl → 1.9.dev2__cp313-cp313-win_amd64.whl

pysat/__init__.py

@@ -10,7 +10,7 @@
 
 # current version
 #==============================================================================
-VERSION = (1, 8, 'dev', 30)
+VERSION = (1, 9, 'dev', 2)
 
 
 # PEP440 Format

pysat/solvers.py

@@ -246,6 +246,7 @@ class SolverNames(object):
     glucose3    = ('g3', 'g30', 'glucose3', 'glucose30')
     glucose4    = ('g4', 'g41', 'glucose4', 'glucose41')
     glucose42   = ('g42', 'g421', 'glucose42', 'glucose421')
+    kissat404   = ('ks', 'ks4', 'kissat', 'kissat4', 'kissat404')
     lingeling   = ('lgl', 'lingeling')
     maplechrono = ('mcb', 'chrono', 'chronobt', 'maplechrono')
     maplecm     = ('mcm', 'maplecm')
@@ -429,6 +430,8 @@ class Solver(object):
                 self.solver = Glucose4(bootstrap_with, use_timer, **kwargs)
             elif name_ in SolverNames.glucose42:
                 self.solver = Glucose42(bootstrap_with, use_timer, **kwargs)
+            elif name_ in SolverNames.kissat404:
+                self.solver = Kissat404(bootstrap_with, use_timer, **kwargs)
             elif name_ in SolverNames.lingeling:
                 self.solver = Lingeling(bootstrap_with, use_timer, **kwargs)
             elif name_ in SolverNames.maplechrono:
@@ -7387,7 +7390,7 @@ class CryptoMinisat(object):
 
             self.status, self.model = self.cryptosat.solve(assumptions,
                                                            time_limit=self.time_limit,
-                                                           conf_limit=self.conf_limit)
+                                                           confl_limit=self.conf_limit)
 
             # limit values must be reset again for each new limited call
             self.time_limit = None
@@ -7589,3 +7592,353 @@ class CryptoMinisat(object):
         """
 
         return False
+
+
+#
+#==============================================================================
+class Kissat404(object):
+    """
+        Kissat 4.0.4 SAT solver.
+
+        Kissat is a non-incremental SAT solver, winner of the SAT Competition
+        2024. It does not support assumption-based solving or unsatisfiable
+        core extraction. However, it supports conflict and decision limits
+        for limited solving.
+
+        Note that Kissat is a **non-incremental** solver. This means:
+
+        - Assumptions are NOT supported (solve() ignores assumptions parameter)
+        - Unsatisfiable core extraction is NOT available
+        - Once solved, the solver state cannot be reused for incremental calls
+
+        :param bootstrap_with: a list of clauses for solver initialization.
+        :param use_timer: whether or not to measure SAT solving time.
+
+        :type bootstrap_with: iterable(iterable(int))
+        :type use_timer: bool
+
+        Usage example:
+
+        .. code-block:: python
+
+            >>> from pysat.solvers import Kissat404
+            >>>
+            >>> with Kissat404(bootstrap_with=[[-1, 2], [-2, 3]]) as ks:
+            ...     ks.solve()
+            True
+            ...     print(ks.get_model())
+            [-1, -2, -3]
+    """
+
+    def __init__(self, bootstrap_with=None, use_timer=False, incr=False,
+            with_proof=False, warm_start=False):
+        """
+            Basic constructor.
+        """
+
+        if incr:
+            raise NotImplementedError('Incremental mode is not supported by Kissat.')
+
+        if warm_start:
+            raise NotImplementedError('Warm-start mode is not supported by Kissat.')
+
+        if with_proof:
+            raise NotImplementedError('Proof logging is not supported by Kissat in PySAT.')
+
+        self.kissat = None
+        self.status = None
+
+        self.new(bootstrap_with, use_timer)
+
+    def __del__(self):
+        """
+            Standard destructor.
+        """
+
+        self.delete()
+
+    def __enter__(self):
+        """
+            'with' constructor.
+        """
+
+        return self
+
+    def __exit__(self, exc_type, exc_value, traceback):
+        """
+            'with' destructor.
+        """
+
+        self.delete()
+
+    def new(self, bootstrap_with=None, use_timer=False):
+        """
+            Actual constructor of the solver.
+        """
+
+        if not self.kissat:
+            self.kissat = pysolvers.kissat404_new()
+
+            if bootstrap_with:
+                if type(bootstrap_with) == CNFPlus and bootstrap_with.atmosts:
+                    raise NotImplementedError('Atmost constraints are not supported by Kissat')
+
+                for clause in bootstrap_with:
+                    self.add_clause(clause)
+
+            self.use_timer = use_timer
+            self.call_time = 0.0  # time spent for the last call to oracle
+            self.accu_time = 0.0  # time accumulated for all calls to oracle
+
+    def delete(self):
+        """
+            Destructor.
+        """
+
+        if self.kissat:
+            pysolvers.kissat404_del(self.kissat)
+            self.kissat = None
+
+    def solve(self, assumptions=[]):
+        """
+            Solve internal formula.
+
+            Note: Kissat does NOT support assumption-based solving.
+            The assumptions parameter is ignored. If you need incremental
+            solving with assumptions, use a different solver like CaDiCaL or Glucose.
+        """
+
+        if self.kissat:
+            if assumptions:
+                import warnings
+                warnings.warn('Kissat does not support assumptions. '
+                              'The assumptions parameter will be ignored.',
+                              RuntimeWarning)
+
+            if self.use_timer:
+                start_time = process_time()
+
+            self.status = pysolvers.kissat404_solve(self.kissat, int(MainThread.check()))
+
+            if self.use_timer:
+                self.call_time = process_time() - start_time
+                self.accu_time += self.call_time
+
+            return self.status
+
+    def solve_limited(self, assumptions=[], expect_interrupt=False):
+        """
+            Solve internal formula using given budgets for conflicts and
+            decisions.
+
+            Note: Kissat does NOT support assumption-based solving.
+            The assumptions parameter is ignored.
+        """
+
+        if self.kissat:
+            if assumptions:
+                import warnings
+                warnings.warn('Kissat does not support assumptions. '
+                              'The assumptions parameter will be ignored.',
+                              RuntimeWarning)
+
+            if self.use_timer:
+                start_time = process_time()
+
+            self.status = pysolvers.kissat404_solve_lim(self.kissat, int(MainThread.check()))
+
+            self.status = None if self.status == 0 else bool((self.status + 1) / 2)
+
+            if self.use_timer:
+                self.call_time = process_time() - start_time
+                self.accu_time += self.call_time
+
+            return self.status
+
+    def conf_budget(self, budget):
+        """
+            Set limit on the number of conflicts.
+        """
+
+        if self.kissat:
+            pysolvers.kissat404_cbudget(self.kissat, budget)
+
+    def dec_budget(self, budget):
+        """
+            Set limit on the number of decisions.
+        """
+
+        if self.kissat:
+            pysolvers.kissat404_dbudget(self.kissat, budget)
+
+    def start_mode(self, warm=False):
+        """
+            Set start mode: either warm or standard.
+        """
+
+        raise NotImplementedError('Warm-start mode is not supported by Kissat.')
+
+    def prop_budget(self, budget):
+        """
+            Set limit on the number of propagations.
+        """
+
+        raise NotImplementedError('Propagation budget is not supported by Kissat.')
+
+    def interrupt(self):
+        """
+            Interrupt solver execution.
+        """
+
+        raise NotImplementedError('Interrupt is not supported by Kissat in PySAT.')
+
+    def clear_interrupt(self):
+        """
+            Clears an interruption.
+        """
+
+        raise NotImplementedError('Interrupt is not supported by Kissat in PySAT.')
+
+    def propagate(self, assumptions=[], phase_saving=0):
+        """
+            Propagate a given set of assumption literals.
+        """
+
+        raise NotImplementedError('Propagation is not supported by Kissat.')
+
+    def set_phases(self, literals=[]):
+        """
+            Sets polarities of a given list of variables.
+        """
+
+        raise NotImplementedError('Setting phases is not supported by Kissat in PySAT.')
+
+    def get_status(self):
+        """
+            Returns solver's status.
+        """
+
+        if self.kissat:
+            return self.status
+
+    def get_model(self):
+        """
+            Get a model if the formula was previously satisfied.
+        """
+
+        if self.kissat and self.status == True:
+            model = pysolvers.kissat404_model(self.kissat)
+            return model if model != None else []
+
+    def get_core(self):
+        """
+            Get an unsatisfiable core if the formula was previously
+            unsatisfied.
+
+            Note: Kissat does NOT support UNSAT core extraction because
+            it does not support assumption-based solving.
+        """
+
+        raise NotImplementedError('UNSAT core extraction is not supported by Kissat.')
+
+    def get_proof(self):
+        """
+            Get a proof produced when deciding the formula.
+        """
+
+        raise NotImplementedError('Proof logging is not supported by Kissat in PySAT.')
+
+    def time(self):
+        """
+            Get time spent for the last call to oracle.
+        """
+
+        if self.kissat:
+            return self.call_time
+
+    def time_accum(self):
+        """
+            Get time accumulated for all calls to oracle.
+        """
+
+        if self.kissat:
+            return self.accu_time
+
+    def nof_vars(self):
+        """
+            Get number of variables currently used by the solver.
+        """
+
+        if self.kissat:
+            return pysolvers.kissat404_nof_vars(self.kissat)
+
+    def nof_clauses(self):
+        """
+            Get number of clauses currently used by the solver.
+        """
+
+        raise NotImplementedError('Number of clauses query is not supported by Kissat.')
+
+    def accum_stats(self):
+        """
+            Get accumulated low-level stats from the solver.
+        """
+
+        raise NotImplementedError('Statistics are not exposed by Kissat in PySAT.')
+
+    def enum_models(self, assumptions=[]):
+        """
+            Iterate over models of the internal formula.
+
+            Note: Kissat is a non-incremental solver and does NOT support
+            model enumeration. Clauses cannot be added after solve() is called.
+            Use an incremental solver like CaDiCaL or Glucose for model enumeration.
+        """
+
+        raise NotImplementedError('Model enumeration is not supported by Kissat. '
+                                  'Kissat is non-incremental and cannot add blocking clauses after solve().')
+
+    def add_clause(self, clause, no_return=True):
+        """
+            Add a new clause to solver's internal formula.
+
+            WARNING: Kissat is non-incremental. You cannot add clauses after
+            calling solve(). Doing so will cause undefined behavior.
+        """
+
+        if self.kissat:
+            pysolvers.kissat404_add_cl(self.kissat, clause)
+
+    def add_atmost(self, lits, k, weights=[], no_return=True):
+        """
+            Atmost constraints are not supported by Kissat.
+        """
+
+        raise NotImplementedError('Atmost constraints are not supported by Kissat.')
+
+    def add_xor_clause(self, lits, value=True):
+        """
+            Add a new XOR clause to solver's internal formula. Not supported.
+        """
+
+        raise NotImplementedError('XOR clauses are not supported by Kissat.')
+
+    def append_formula(self, formula, no_return=True):
+        """
+            Appends list of clauses to solver's internal formula.
+        """
+
+        if self.kissat:
+            if type(formula) == CNFPlus and formula.atmosts:
+                raise NotImplementedError('Atmost constraints are not supported by Kissat')
+
+            for clause in formula:
+                self.add_clause(clause)
+
+    def supports_atmost(self):
+        """
+            This method can be called to determine whether the solver supports
+            native AtMostK (see :mod:`pysat.card`) constraints.
+        """
+
+        return False

{python_sat-1.8.dev30.dist-info → python_sat-1.9.dev2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: python-sat
-Version: 1.8.dev30
+Version: 1.9.dev2
 Summary: A Python library for prototyping with SAT oracles
 Home-page: https://github.com/pysathq/pysat
 Author: Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado

python_sat-1.9.dev2.dist-info/RECORD

@@ -0,0 +1,49 @@
+pycard.cp313-win_amd64.pyd,sha256=70mWHJlKAotKMkQ2Emci0nG2a7HZ0CSNZluHzrdt1ZI,69632
+pysolvers.cp313-win_amd64.pyd,sha256=3n8ssGO6zz7Q4QarTple9k6u0zSIQKoMH2lCES0-8y4,2532864
+pysat/__init__.py,sha256=4FViEWslIy95kCIKPW59Etpyr_EvTnJUIWK7bWlqvZM,680
+pysat/_fileio.py,sha256=cmrqvhPXxC87lpvLlFDG7EWpusQOaqCGPMDfWhqT6dg,6373
+pysat/_utils.py,sha256=4cv40p70FKvjCTKq8GqzS_jlxF74cp_lojTZSim_qJE,1340
+pysat/card.py,sha256=rav3_t_mCzbLw8SAdXcOh-PNbFtaATVSAJzpbygqiQ4,30066
+pysat/engines.py,sha256=PzcZJ4zFXDHfcSSHF7iPadtrwSVEt4t9B_cO5epwTZk,45182
+pysat/formula.py,sha256=eMa4LDzWG-8Tg4xNivjcHdcRW4Ku7RumIoB9Jr-sVSs,207193
+pysat/integer.py,sha256=aSWPlE7t-3fP1bSj-qSNoUr1RmQgkBtv1g3KqTRhi8o,68408
+pysat/pb.py,sha256=DMy8UfbbpfJo5cTZul9W1o_mlr-B0lCIEseZjrQYd8A,17816
+pysat/process.py,sha256=8lNbpEKipFZjbQ9DCJPfdL8eZHx-ltNuu7h4geWWdJY,12739
+pysat/solvers.py,sha256=jglSeCD_sfE-QxeSKVhO4ZNMMyAY10Q8D2q7ARMTLIQ,240692
+pysat/allies/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+pysat/allies/approxmc.py,sha256=LtUss6PiqmgvFwLTe4KUHmhavdzlotRii2UUOSb9gTU,13586
+pysat/allies/unigen.py,sha256=qOGc_WwcIi-AgFSJDBhhY2n6Q6UeYVMpMPuem4-Vf6c,16718
+pysat/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+pysat/examples/bbscan.py,sha256=E4Y5j3Llr0-jIn-RDZIk-f02Sbujg4wX7uysoiFRnLg,22046
+pysat/examples/bica.py,sha256=OGcGQGQnMepCCurwRbygokFgoDkI7eBhjmsYvr3FM1M,27098
+pysat/examples/fm.py,sha256=e_s6wNBstEeoMw9zYyyDRgkE-Hqa902Iy_CxCS961CE,18136
+pysat/examples/genhard.py,sha256=DFXtSVQ4qn78y0-ZMr2D6gBCLizZSzgkvcbDsjqjnKI,19017
+pysat/examples/hitman.py,sha256=vHJEeSfoMQlDD3D3Poofaryv-k_dMH37XoqVXJUUuUg,26360
+pysat/examples/lbx.py,sha256=InMjqY-9UvWKznIXOEwfBsM4spfkduDld6gUkr1jCqo,23249
+pysat/examples/lsu.py,sha256=qyN2TvXG61EtMy-IrX5EYmLPM_iNOhtOkGTY5nHO_zo,16198
+pysat/examples/mcsls.py,sha256=bP47P56OOP_uy0MuFA7TGxMdkAis7gX4E9AEEI0tSec,22093
+pysat/examples/models.py,sha256=cdIR8iOrYu2ibqfcb_kEKXQMCfmFiz7cvZ3y1dur3Qw,5741
+pysat/examples/musx.py,sha256=hswVGkjm95lhOyrtl1e4ouDyNSy-hWvQ05084Xnck9I,10946
+pysat/examples/optux.py,sha256=8eYHO_uhL_4ugb-hRv2s6cnOwTurfqkpbdnK9T4iDtw,27697
+pysat/examples/primer.py,sha256=0OeV9R6mWyIr2BKIitkrfgY3q2XE-sV1ZLSiybGRFXw,23375
+pysat/examples/rc2.py,sha256=QjN-LbLWNnDwSyZKn10_INniPpIK8dv_0BGPZzbXxa8,75763
+pysat/examples/usage.py,sha256=x9luw6pyKAAndlxAeUWFhS4aLSVmD2t_j_5uA9YddHg,2183
+python_sat-1.9.dev2.data/scripts/approxmc.py,sha256=h6aMnSpIaYXkTMq-tCSzNWwKb0AG-vTH4vuLWGn5Q4s,13958
+python_sat-1.9.dev2.data/scripts/bbscan.py,sha256=xGxklG6Gc_UBaM8QvEJDOtQhEamxAncfsd65E-0JcAc,22696
+python_sat-1.9.dev2.data/scripts/bica.py,sha256=q6fQGsFp1EaaYRZGBsDFOIJPVScr5k42XFskBzW69mA,27776
+python_sat-1.9.dev2.data/scripts/fm.py,sha256=ek1QDsuxiq1zm1PBLbrSXXEE89RP9_DYwVNnyB3eO4s,18650
+python_sat-1.9.dev2.data/scripts/genhard.py,sha256=YswufT272W4xTJrSBlOC2ucJx4RK4ntfRv73rASrx30,19520
+python_sat-1.9.dev2.data/scripts/lbx.py,sha256=rCQ6zH_DXoVjBrzhZHSDJMfP92-hz2JVwh6e4m44AUc,23874
+python_sat-1.9.dev2.data/scripts/lsu.py,sha256=cAATg2x0Cu1LC8KszMctHqywjq7pygkb9vWNBrbUEZs,16681
+python_sat-1.9.dev2.data/scripts/mcsls.py,sha256=cTJQMIO-4iho412wG0JhvhqXWy81U0RQV8wwOgkri3Q,22690
+python_sat-1.9.dev2.data/scripts/models.py,sha256=UmMmklExzyXAIhh-0i038nQb7hTK6CbdV1M6m2GxxSI,5917
+python_sat-1.9.dev2.data/scripts/musx.py,sha256=LwK10YuQ8pIf1TJwp0HKp54O0hdk8zBy3TIfGsF1yW0,11277
+python_sat-1.9.dev2.data/scripts/optux.py,sha256=t20YBZH4_axTkRMapq-DL-fq-9tBybPWo0pkhIyGhDw,28394
+python_sat-1.9.dev2.data/scripts/primer.py,sha256=iE9Vy0XyeySIY-7-L_VMwRahsIVCEmm9k04OhLwDvuw,23982
+python_sat-1.9.dev2.data/scripts/rc2.py,sha256=yFieB6_5sYLLfIRo6Al9DXt3V5Y-qIUYH5E89xoaLN4,77749
+python_sat-1.9.dev2.data/scripts/unigen.py,sha256=e-HC2UxWA8MTN90VslkHX1ZlTPjdhI4etzkn6G8YAX4,17140
+python_sat-1.9.dev2.dist-info/licenses/LICENSE.txt,sha256=6QMvEzxqdPXEoiAZUBaZLeLF4hW2S81fjKz_THER0uQ,1109
+python_sat-1.9.dev2.dist-info/METADATA,sha256=y-WoRAl4BnIbEBdwmKEp2akRrJEIbCTZvzsPKQ1Uh0w,1783
+python_sat-1.9.dev2.dist-info/WHEEL,sha256=Xr-hSQu17ZxKorLWItir4Mz0GplQpPFz9u2i9sztbpM,101
+python_sat-1.9.dev2.dist-info/top_level.txt,sha256=fgEEGhMLivlF1ExCX8Y3niWsr4pDPRb5HdaWjNtabFI,23
+python_sat-1.9.dev2.dist-info/RECORD,,

{python_sat-1.8.dev30.dist-info → python_sat-1.9.dev2.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: setuptools (80.10.2)
+Generator: setuptools (82.0.0)
 Root-Is-Purelib: false
 Tag: cp313-cp313-win_amd64
 

python_sat-1.8.dev30.dist-info/RECORD

@@ -1,49 +0,0 @@
-pycard.cp313-win_amd64.pyd,sha256=Ium9bf2cnCb5T415FxCoSjfFEJja2fnFg4KZ7Gwtu0s,69632
-pysolvers.cp313-win_amd64.pyd,sha256=74-wWkPjHk8mkVJ8TJPZ3hzMmMaN6yler43J2jJIegU,2232320
-pysat/__init__.py,sha256=g5sNbIxu3NQHKEfmF83NBULSybCzIEuGGdoPrQyxMjs,681
-pysat/_fileio.py,sha256=cmrqvhPXxC87lpvLlFDG7EWpusQOaqCGPMDfWhqT6dg,6373
-pysat/_utils.py,sha256=4cv40p70FKvjCTKq8GqzS_jlxF74cp_lojTZSim_qJE,1340
-pysat/card.py,sha256=rav3_t_mCzbLw8SAdXcOh-PNbFtaATVSAJzpbygqiQ4,30066
-pysat/engines.py,sha256=PzcZJ4zFXDHfcSSHF7iPadtrwSVEt4t9B_cO5epwTZk,45182
-pysat/formula.py,sha256=eMa4LDzWG-8Tg4xNivjcHdcRW4Ku7RumIoB9Jr-sVSs,207193
-pysat/integer.py,sha256=aSWPlE7t-3fP1bSj-qSNoUr1RmQgkBtv1g3KqTRhi8o,68408
-pysat/pb.py,sha256=DMy8UfbbpfJo5cTZul9W1o_mlr-B0lCIEseZjrQYd8A,17816
-pysat/process.py,sha256=8lNbpEKipFZjbQ9DCJPfdL8eZHx-ltNuu7h4geWWdJY,12739
-pysat/solvers.py,sha256=00Y6yKNXvJOLA7l4aIDgueFbNM9lt3PkmT2OxB43aQ8,229975
-pysat/allies/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-pysat/allies/approxmc.py,sha256=LtUss6PiqmgvFwLTe4KUHmhavdzlotRii2UUOSb9gTU,13586
-pysat/allies/unigen.py,sha256=qOGc_WwcIi-AgFSJDBhhY2n6Q6UeYVMpMPuem4-Vf6c,16718
-pysat/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-pysat/examples/bbscan.py,sha256=E4Y5j3Llr0-jIn-RDZIk-f02Sbujg4wX7uysoiFRnLg,22046
-pysat/examples/bica.py,sha256=OGcGQGQnMepCCurwRbygokFgoDkI7eBhjmsYvr3FM1M,27098
-pysat/examples/fm.py,sha256=e_s6wNBstEeoMw9zYyyDRgkE-Hqa902Iy_CxCS961CE,18136
-pysat/examples/genhard.py,sha256=DFXtSVQ4qn78y0-ZMr2D6gBCLizZSzgkvcbDsjqjnKI,19017
-pysat/examples/hitman.py,sha256=vHJEeSfoMQlDD3D3Poofaryv-k_dMH37XoqVXJUUuUg,26360
-pysat/examples/lbx.py,sha256=InMjqY-9UvWKznIXOEwfBsM4spfkduDld6gUkr1jCqo,23249
-pysat/examples/lsu.py,sha256=qyN2TvXG61EtMy-IrX5EYmLPM_iNOhtOkGTY5nHO_zo,16198
-pysat/examples/mcsls.py,sha256=bP47P56OOP_uy0MuFA7TGxMdkAis7gX4E9AEEI0tSec,22093
-pysat/examples/models.py,sha256=cdIR8iOrYu2ibqfcb_kEKXQMCfmFiz7cvZ3y1dur3Qw,5741
-pysat/examples/musx.py,sha256=hswVGkjm95lhOyrtl1e4ouDyNSy-hWvQ05084Xnck9I,10946
-pysat/examples/optux.py,sha256=8eYHO_uhL_4ugb-hRv2s6cnOwTurfqkpbdnK9T4iDtw,27697
-pysat/examples/primer.py,sha256=0OeV9R6mWyIr2BKIitkrfgY3q2XE-sV1ZLSiybGRFXw,23375
-pysat/examples/rc2.py,sha256=QjN-LbLWNnDwSyZKn10_INniPpIK8dv_0BGPZzbXxa8,75763
-pysat/examples/usage.py,sha256=x9luw6pyKAAndlxAeUWFhS4aLSVmD2t_j_5uA9YddHg,2183
-python_sat-1.8.dev30.data/scripts/approxmc.py,sha256=h6aMnSpIaYXkTMq-tCSzNWwKb0AG-vTH4vuLWGn5Q4s,13958
-python_sat-1.8.dev30.data/scripts/bbscan.py,sha256=xGxklG6Gc_UBaM8QvEJDOtQhEamxAncfsd65E-0JcAc,22696
-python_sat-1.8.dev30.data/scripts/bica.py,sha256=q6fQGsFp1EaaYRZGBsDFOIJPVScr5k42XFskBzW69mA,27776
-python_sat-1.8.dev30.data/scripts/fm.py,sha256=ek1QDsuxiq1zm1PBLbrSXXEE89RP9_DYwVNnyB3eO4s,18650
-python_sat-1.8.dev30.data/scripts/genhard.py,sha256=YswufT272W4xTJrSBlOC2ucJx4RK4ntfRv73rASrx30,19520
-python_sat-1.8.dev30.data/scripts/lbx.py,sha256=rCQ6zH_DXoVjBrzhZHSDJMfP92-hz2JVwh6e4m44AUc,23874
-python_sat-1.8.dev30.data/scripts/lsu.py,sha256=cAATg2x0Cu1LC8KszMctHqywjq7pygkb9vWNBrbUEZs,16681
-python_sat-1.8.dev30.data/scripts/mcsls.py,sha256=cTJQMIO-4iho412wG0JhvhqXWy81U0RQV8wwOgkri3Q,22690
-python_sat-1.8.dev30.data/scripts/models.py,sha256=UmMmklExzyXAIhh-0i038nQb7hTK6CbdV1M6m2GxxSI,5917
-python_sat-1.8.dev30.data/scripts/musx.py,sha256=LwK10YuQ8pIf1TJwp0HKp54O0hdk8zBy3TIfGsF1yW0,11277
-python_sat-1.8.dev30.data/scripts/optux.py,sha256=t20YBZH4_axTkRMapq-DL-fq-9tBybPWo0pkhIyGhDw,28394
-python_sat-1.8.dev30.data/scripts/primer.py,sha256=iE9Vy0XyeySIY-7-L_VMwRahsIVCEmm9k04OhLwDvuw,23982
-python_sat-1.8.dev30.data/scripts/rc2.py,sha256=yFieB6_5sYLLfIRo6Al9DXt3V5Y-qIUYH5E89xoaLN4,77749
-python_sat-1.8.dev30.data/scripts/unigen.py,sha256=e-HC2UxWA8MTN90VslkHX1ZlTPjdhI4etzkn6G8YAX4,17140
-python_sat-1.8.dev30.dist-info/licenses/LICENSE.txt,sha256=6QMvEzxqdPXEoiAZUBaZLeLF4hW2S81fjKz_THER0uQ,1109
-python_sat-1.8.dev30.dist-info/METADATA,sha256=WtlTd1cYPghe2ZUjJbzjvDSNELDjRrLUApFNct_E1MQ,1784
-python_sat-1.8.dev30.dist-info/WHEEL,sha256=-WvvtQtdhM1F5HMi-4hSXLQ_1Tg6qJRWO1HnLNr4mCU,102
-python_sat-1.8.dev30.dist-info/top_level.txt,sha256=fgEEGhMLivlF1ExCX8Y3niWsr4pDPRb5HdaWjNtabFI,23
-python_sat-1.8.dev30.dist-info/RECORD,,