Merge requests · GraPA / Rust / Mimung

Merge trains

fix readme links

!40 · created Jun 01, 2022 by Leon Stichternath
- Merged
updated Jun 01, 2022
Final release

!39 · created Jun 01, 2022 by Leon Stichternath
- Merged
updated Jun 01, 2022
Draft: Random order opt and vertex_cover

!36 · created May 12, 2022 by Ghost User
- Merged
updated Jun 01, 2022
Draft: Vertex cover

!32 · created Apr 22, 2022 by Ghost User
updated Jun 01, 2022
Reduction in approx

!37 · created May 19, 2022 by Leon Stichternath
- Merged
updated Jun 01, 2022
Add License

!38 · created May 31, 2022 by Leon Stichternath
- Merged
updated May 31, 2022
small cleanup + another ca. 2x speedup

!34 · created May 11, 2022 by Leon Stichternath
- Merged
- Approved
updated May 11, 2022
Fleischer opt

!33 · created May 11, 2022 by Leon Stichternath
- Merged
- Approved
updated May 11, 2022
Resolve "Implement more reduction rules"

!28 · created Mar 22, 2022 by Kenneth Dietrich
- Merged
- Approved
updated May 04, 2022
merge new graph changes into main

!31 · created Apr 08, 2022 by Leon Stichternath
- Merged
updated Apr 22, 2022
merge new graphs into main

!30 · created Mar 29, 2022 by Leon Stichternath
- Merged
- Approved
updated Apr 04, 2022
Resolve "use rustc_hash for hash-stuff"

!26 · created Mar 08, 2022 by Leon Stichternath
- Merged
- Approved
updated Mar 08, 2022
Resolve "Get started with heuristic"

!25 · created Mar 07, 2022 by Leon Stichternath
- Merged
- Approved
updated Mar 08, 2022
Resolve "Graph cycle count analyzer (for thorben)"

!13 · created Jan 18, 2022 by Leon Stichternath
- Merged
- 1
updated Mar 04, 2022
add branching context

!21 · created Feb 24, 2022 by Leon Stichternath
- Merged
updated Mar 01, 2022
local search ideas

!22 · created Feb 25, 2022 by Leon Stichternath
- Merged
- 1
- Approved
updated Feb 25, 2022
Resolve "port the dfvs verifier to rust, it seems to be broken"

!24 · created Feb 25, 2022 by Leon Stichternath
- Merged
- Approved
updated Feb 25, 2022
Resolve "rework current reduction rules to use montex"

!20 · created Feb 23, 2022 by Kenneth Dietrich
Critical
- Merged
- Approved
updated Feb 24, 2022
remove dbg macros from fleischer

!18 · created Feb 08, 2022 by Leon Stichternath
- Merged
- Approved
updated Feb 08, 2022
Resolve "Benchmark datareduction rules"

!17 · created Feb 04, 2022 by Kenneth Dietrich
- Merged
- 8
- Approved
updated Feb 07, 2022