Skip to content
GitLab
Explore
Sign in
Open
8
Merged
53
Closed
4
All
65
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Draft: Resolve "print more info on SAT solver run"
!65
· created
Aug 27, 2024
by
waldmann
SAT
Closed
updated
Aug 27, 2024
Draft: Resolve "transport system computation hangs, was: what happens with num-233? (output is cut short)"
!29
· created
Feb 03, 2022
by
waldmann
bug
Closed
updated
Feb 10, 2022
Draft: Resolve "make a cheating stragety that consults the DB for proof steps that worked in the past"
!19
· created
May 26, 2021
by
waldmann
Closed
updated
Feb 10, 2022
WIP: Resolve "nach tiling: nicht Nr. der Kachel zeigen, sondern Kachel selbst"
!3
· created
Feb 11, 2020
by
waldmann
Closed
updated
Feb 24, 2020