Default Branch

main 768d26aa3f · update flake to use new direnv mechanism · Updated 2026-04-20 11:34:49 +02:00

ZIP  TAR.GZ

Branches

efficient-puzzle 592c4b6cc0 · massive state space solver improvement: supercomp took ~10s, now ~40ms · Updated 2026-03-02 05:26:18 +01:00    christoph

35 2

ZIP  TAR.GZ