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

Added example fragment without negation

Browse source
This commit is contained in:
Brandon Rozek 2024-10-04 13:22:18 -04:00
parent 012323bcbc
commit 5f3825cf72
2 changed files with 35 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
examples/R4-MN Normal file
View file

@ -0,0 +1,32 @@
0 1 1 1 1 1 0 0
1
1 1 0 1
0 1
1 1 0 1 -1
-1
-1
2
1 1 1 0 1 1 0 0 1
0 1 1
2 2 2 0 1 2 0 0 2 -1
0 0 1
2 2 2 0 2 2 0 1 2 -1
-1
-1
3
1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1
0 1 0 1
3 3 3 3 0 1 2 3 0 0 1 3 0 0 0 3 3 3 3 3 0 1 2 3 0 0 3 3 0 0 2 3 -1
0 0 0 1
3 3 3 3 2 3 2 3 1 1 3 3 0 1 2 3 -1
-1
1 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1
0 1 1 1
3 3 3 3 0 1 2 3 0 0 1 3 0 0 0 3 3 3 3 3 0 1 2 3 0 0 2 3 0 0 0 3 -1
0 0 1 1
3 3 3 3 0 2 2 3 0 1 2 3 0 0 0 3 3 3 3 3 0 3 3 3 0 1 2 3 0 1 1 3 -1
0 0 0 1
3 3 3 3 0 3 3 3 0 1 3 3 0 1 2 3 -1
-1
-1
-1

3
examples/README.md
View file

@ -6,3 +6,6 @@ These are example files that you can use with the `parse_magic.py` script.
Contains all models of R up to size 6.
## R4-MN
Contains all models of a fragment of R without negation up to size 4.