search

JuliaPolyhedra / Polyhedra.jl

Polyhedral Computation Interface
Other
172 stars 27 forks source link

🚸 Add verbose option for double description #151

Closed blegat closed 5 years ago

blegat commented 5 years ago

Useful to keep track of long computation. It could be improved by using https://github.com/timholy/ProgressMeter.jl