brozek/matmod
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2024-07-25 05:13:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
Matrix Model Generator for Implicative Connectives
20 commits 2 branches 0 tags 103 KiB
Python 100%
Go to file
Brandon Rozek c9a4f6ce36
Added line number in error messages
2024-06-23 20:02:53 -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 Added line number in error messages 2024-06-23 20:02:53 -07:00
R.py Pretty printing 2024-05-29 13:50:20 -04:00
README.md Updated README 2024-06-15 09:02:31 -07:00
vsp.py Pretty printing 2024-05-29 13:50:20 -04:00

README.md

Matmod: Verify Relevance Properties for Matrix Models with Implicative Connectives

Interested in seeing which satisfiable models from arranstewart/magic have the variable sharing property?

(1) Generate satisfiable matrix models using magic.

  • Use the ugly data format as the output
  • Keep in mind not all logic features in magic are supported, check out the GitHub issue tracker to see upcoming features or make your own requests

(2) Run our tool! It will first attempt to parse all the matrices in the output file and then check for the variable sharing property one-by-one.

python3 parse_magic.py < UGLY_FILE_FROM_MAGIC

If you face any troubles, feel free to reach out. This tool also has capabilities to generate satisfiable models given a specification (see: R.py), however, it is much slower than magic so you're better off using that.