brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-12-29 05:50:24 +00:00
Code Issues Projects Releases Packages Wiki Activity
104 commits 8 branches 2 tags 219 KiB

Default branch

main

51c26dd9fc · Optimization in computing meets and joins · Updated 2025-12-12 19:49:32 +00:00
 ZIP  TAR.GZ

Branches

feat/46

84f1c1fd36 · Added check for falsification rules in satisfiable function · Updated 2025-12-12 23:21:29 +00:00
5
3
 ZIP  TAR.GZ
fix/model2matrix

18c2bcb673 · Changed from model to matrix · Updated 2025-12-09 15:26:15 +00:00
4
0
 Included
 ZIP  TAR.GZ
opt/47

7e4a570407 · Another attempt · Updated 2025-11-25 15:03:55 +00:00
5
3
 ZIP  TAR.GZ
feat/2

bb2024d254 · Fix completeness issue in SVSP · Updated 2025-11-19 20:56:50 +00:00
6
2
 ZIP  TAR.GZ
opt/38

f7fa8f4b7b · Added some utility scripts · Updated 2025-05-26 21:30:25 +00:00
14
3
 ZIP  TAR.GZ
opt/36

1a4857429f · Use partition instead of split/join · Updated 2025-02-18 18:38:39 +00:00
29
0
 Included
 ZIP  TAR.GZ
opt/14

4b907281a5 · Implementing optimization #14 · Updated 2025-01-31 22:16:25 +00:00
40
0
 Included
 ZIP  TAR.GZ