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
Resolve "print more info on SAT solver run"
!63
· created
Aug 27, 2024
by
waldmann
SAT
Merged
updated
Aug 27, 2024
Resolve "allow expresions when reading named parameter from command line"
!64
· created
Aug 27, 2024
by
waldmann
Merged
updated
Aug 27, 2024
Resolve "return to `Simple` name for simple SAT encodings"
!62
· created
Aug 27, 2024
by
waldmann
SAT
Merged
updated
Aug 27, 2024
Resolve "fused many-multiply-add and better SAT encoding for binary"
!61
· created
Aug 24, 2024
by
waldmann
SAT
Merged
updated
Aug 27, 2024
Resolve "convert TPDB-SRS to cetera format"
!60
· created
Jul 20, 2024
by
waldmann
Merged
updated
Jul 21, 2024
Resolve "missing CPF output for R-producing loop"
!59
· created
Jul 06, 2024
by
waldmann
TC24
bug
certification
relative
Merged
updated
Jul 13, 2024
Resolve "simple (unary/order) encoding for ArcticBZ"
!57
· created
Jun 14, 2024
by
waldmann
SAT
Merged
updated
Jun 15, 2024
Resolve "read termination problems in ARI format"
!56
· created
Jun 12, 2024
by
waldmann
Merged
updated
Jun 12, 2024
Resolve "use SAT encoding of fused-multiply-add"
!55
· created
May 27, 2024
by
waldmann
SAT
Merged
updated
Jun 12, 2024
Resolve "context closure for short rules"
!54
· created
Apr 22, 2024
by
waldmann
Merged
updated
Apr 23, 2024
Resolve "constraint "Total_Nonzeroes n" is off-by-one"
!53
· created
Apr 19, 2024
by
waldmann
Merged
updated
Apr 19, 2024
Tropical fuzz
!52
· created
Apr 19, 2024
by
waldmann
Merged
updated
Apr 19, 2024
Resolve "more flexible constraints for matrices"
!51
· created
Apr 16, 2024
by
waldmann
Merged
updated
Apr 16, 2024
Resolve "Clauses Random is slow"
!50
· created
Apr 08, 2024
by
waldmann
Merged
updated
Apr 10, 2024
Resolve "when minimizing number of positive matrix entries, first try to find a subset"
!49
· created
Apr 03, 2024
by
waldmann
Merged
updated
Apr 04, 2024
Resolve "are tropical matrices allowed to use last column?"
!48
· created
Mar 28, 2024
by
waldmann
Merged
updated
Apr 03, 2024
Resolve "CPF output for strictified proofs"
!45
· created
Aug 10, 2023
by
waldmann
Merged
updated
Aug 13, 2023
Resolve "--print-proof: summary ignores part of Split"
!44
· created
Feb 27, 2023
by
waldmann
bug
Merged
updated
Feb 27, 2023
Draft: Resolve "interval interpretations"
!42
· created
Feb 11, 2023
by
waldmann
Merged
updated
Feb 23, 2023
Resolve "enumerate (and filter) small relative SRS"
!43
· created
Feb 17, 2023
by
waldmann
Merged
updated
Feb 23, 2023
Prev
1
2
3
Next
