Skip to content
Unverified Commit 44d27a35 authored by Andreas Klöckner's avatar Andreas Klöckner Committed by GitHub
Browse files

Merge pull request #24 from alexfikl/add-node-min 

Add a NodeMin reduction
parents d1a70ab7 bf4fef7c
Pipeline #66867 failed with stage
in 1 hour, 12 minutes, and 16 seconds
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment