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

Fix for Python 3.10

Browse source
This commit is contained in:
Brandon Rozek 2024-10-04 10:54:08 -04:00
parent 9d3e4b1fa6
commit c8b3ca5900
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
parse_magic.py
View file

@ -102,7 +102,7 @@ def process_model(
global solutions
logical_operations = { mimplication }
model_name = f"{size}{"." + str(num_negation) if num_negation != 0 else ""}.{num_order}.{num_designated}.{num_implication}"
model_name = f"{size}{'.' + str(num_negation) if num_negation != 0 else ''}.{num_order}.{num_designated}.{num_implication}"
model = Model(carrier_set, logical_operations, designated_values, name=model_name)
interpretation = {
Implication: mimplication