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

Print model when it shows VSP

Browse source
This commit is contained in:
Brandon Rozek 2024-10-03 21:47:12 -04:00
parent c0ef204e48
commit 68788ecff6
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
parse_magic.py
View file

@ -304,6 +304,7 @@ if __name__ == "__main__":
solutions: List[Model] = parse_matrices(SourceFile(sys.stdin))
print(f"Parsed {len(solutions)} matrices")
for i, (model, interpretation) in enumerate(solutions):
if args['verbose']:
vsp_result = has_vsp(model, interpretation)
print(vsp_result)
if args['verbose'] or vsp_result.has_vsp:
print(model)
print(has_vsp(model, interpretation))