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