brozek
/
matmod
mirror of https://github.com/Brandon-Rozek/matmod.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Matrix Model Generator for Implicative Connectives
9 Commits 1 Branch 0 Tags 62 KiB
Python 100%
Go to file
Brandon Rozek 2fa8aa9c15
Updates 
- Parses multiple implication tables from magic
- Speed improvements to model closure
- Make use of prior model_closure computations
 		2024-05-12 13:03:28 -04:00
.gitignore Initial commit 2024-04-08 23:59:21 -04:00
R.py Small cleanup 2024-05-04 16:51:49 -04:00
README.md Initial draft of VSP check 2024-05-03 13:06:52 -04:00
common.py Some optimizations 2024-04-15 00:08:00 -04:00
generate_model.py Small cleanup 2024-05-04 16:51:49 -04:00
logic.py Some optimizations 2024-04-15 00:08:00 -04:00
model.py Updates 2024-05-12 13:03:28 -04:00
parse_magic.py Updates 2024-05-12 13:03:28 -04:00
vsp.py Updates 2024-05-12 13:03:28 -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.