brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-07-31 21:01:59 +00:00
Code Issues Projects Releases Packages Wiki Activity

Removed dead code

Browse source
This commit is contained in:
Brandon Rozek 2025-03-19 09:22:54 -04:00
parent 4412b6c2da
commit c554c53141
1 changed files with 0 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
vspursuer.py
View file

@ -45,26 +45,6 @@ def has_vsp_plus_model(model, impfunction, mconjunction, mdisjunction, mnegation
return (model, vsp_result) return (model, vsp_result)
return (None, vsp_result) return (None, vsp_result)
def create_chunks(data, chunk_size: int):
"""
Takes a stream of data and creates a new
stream where each element is a "chunk" of
several primitive elements.
Ex: create_chunks((1, 2, 3, 4, 5, 6), 2) ->
((1, 2), (3, 4), (5, 6))
"""
chunk = []
for item in data:
chunk.append(item)
if len(chunk) == chunk_size:
yield tuple(chunk)
chunk = []
if len(chunk) > 0:
yield tuple(chunk)
if __name__ == "__main__": if __name__ == "__main__":
parser = argparse.ArgumentParser(description="VSP Checker") parser = argparse.ArgumentParser(description="VSP Checker")
parser.add_argument("--verbose", action='store_true', help="Print out all parsed matrices") parser.add_argument("--verbose", action='store_true', help="Print out all parsed matrices")
@ -86,8 +66,6 @@ if __name__ == "__main__":
if num_cpu is None: if num_cpu is None:
num_cpu = max(process_cpu_count() - 2, 1) num_cpu = max(process_cpu_count() - 2, 1)
# solution_chunks = create_chunks(solutions, num_cpu * 2)
# Set up parallel verification # Set up parallel verification
num_tested = 0 num_tested = 0
num_has_vsp = 0 num_has_vsp = 0