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

Edited example to check models of R up to size 6

Browse source
This commit is contained in:
Brandon Rozek 2024-10-03 21:50:05 -04:00
parent 83091c31ab
commit d86601c575
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -9,7 +9,7 @@ Interested in seeing which satisfiable models from [arranstewart/magic](https://
(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
python3 parse_magic.py < examples/R6
```
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.