brozek/matmod
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2024-11-20 21:56:29 -05:00
Code Issues Projects Releases Packages Wiki Activity
Matrix Model Generator for Implicative Connectives
17 commits 3 branches 0 tags 126 KiB
Python 100%
Find a file
Brandon Rozek 960fa82237
Parsing as regular decimal integers instead of hexadecimal. (PR #6)
2024-06-15 08:48:12 -07:00
.gitignore Initial commit 2024-04-08 23:59:21 -04:00
common.py Some optimizations 2024-04-15 00:08:00 -04:00
generate_model.py Pretty printing 2024-05-29 13:50:20 -04:00
logic.py Pretty printing 2024-05-29 13:50:20 -04:00
model.py Pretty printing 2024-05-29 13:50:20 -04:00
parse_magic.py Parsing as regular decimal integers instead of hexadecimal. 2024-06-15 08:46:53 -07:00
R.py Pretty printing 2024-05-29 13:50:20 -04:00
README.md Added command in readme 2024-05-29 15:34:39 -04:00
vsp.py Pretty printing 2024-05-29 13:50:20 -04:00

README.md

Matmod: Matrix Model Generator for Implicative Connectives

This repository is mostly an experiment to help me better understand matrix models.

You're likely better off using arranstewart/magic.

We support output from magic using the ugly data format.

python3 parse_magic.py < UGLY_FILE_FROM_MAGIC