brozek/matmod
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-04-06 10:30:00 +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 () · Updated 2024-11-26 21:26:05 +00:00

Branches

feature/23

aeb8ae0440 · Check models in parallel · Updated 2024-11-26 21:24:49 +00:00
1
0
 Included
feature/22

10d2e47665 · Removed a from model value names · Updated 2024-11-26 20:52:20 +00:00
3
0
 Included
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
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