You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix MU-puzzle rules and add more tests from original source.#247
Merged
0x0f0f0f merged 1 commit intoale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from 240_mu_puzzleJuliaSymbolics/Metatheory.jl:240_mu_puzzleCopy head branch name to clipboardSep 15, 2024
