brozek/matmod
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-01-29 00:11:36 +00:00
Code Issues Projects Releases Packages Wiki Activity
60 commits 5 branches 0 tags 144 KiB

Default branch

main

29526dbec3 · Check models in parallel (#25) · Updated 2024-11-26 21:26:05 +00:00

 ZIP  TAR.GZ

Branches

feature/23

aeb8ae0440 · Check models in parallel · Updated 2024-11-26 21:24:49 +00:00

1
0
 Included
 ZIP  TAR.GZ
feature/22

10d2e47665 · Removed a from model value names · Updated 2024-11-26 20:52:20 +00:00

3
0
 Included
 ZIP  TAR.GZ
fix/18

30ad57c867 · Only discard when top is in the right subalgebra or bottom is in the left · Updated 2024-11-12 20:18:57 +00:00

7
0
 Included
 ZIP  TAR.GZ
opt/9

af81342a74 · Break out of saturation computation early when top/bottom are found · Updated 2024-10-30 20:11:03 +00:00

36
0
 Included
 ZIP  TAR.GZ