brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-11-03 03:11:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

Only print matrices when model shows VSP

Browse source
This commit is contained in:
Brandon Rozek 2024-10-03 21:06:23 -04:00
parent c9a4f6ce36
commit c0ef204e48
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
parse_magic.py
View file

@ -3,6 +3,7 @@ Parses the Magic Ugly Data File Format
Assumes the base logic is R with no extra connectives
"""
import argparse
import sys
from typing import TextIO, List, Optional, Tuple, Set, Dict
@ -297,8 +298,12 @@ def parse_implication(infile: TextIO, size: int) -> Optional[List[ModelFunction]
if __name__ == "__main__":
parser = argparse.ArgumentParser(description="VSP Checker")
parser.add_argument("--verbose", action='store_true', help="Print out all parsed matrices")
args = vars(parser.parse_args())
solutions: List[Model] = parse_matrices(SourceFile(sys.stdin))
print(f"Parsed {len(solutions)} matrices")
for i, (model, interpretation) in enumerate(solutions):
if args['verbose']:
print(model)
print(has_vsp(model, interpretation))