Euphrates is a hardware implementation of the parallel push-relabel algorithm for maximum flow described by Bo Hong in "A Lock-free Multi-threaded Algorithm fot the Maximum Flow Problem".
To generate Verilog, build the library to produce a GHC environment file for Clash to use, then run Clash:
cabal build --write-ghc-environment-files=always euphrates
cabal run clash -- Euphrates.Top --verilog
Or run the Shake based build system to run Clash and synthesize a bitstream for the ULX3S:
cabal run shake