search

open-s4c / benchkit

A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space
MIT License
12 stars 17 forks source link

Example: reformat dpll #110

Closed apaolillo closed 2 months ago

apaolillo commented 2 months ago

@tcherrou FYI

tcherrou commented 2 months ago

Thank you for cleaning up the code!

apaolillo commented 2 months ago

no problem, thanks for your contribution! I will go ahead and merge this one. The benchmark is still running, but if something goes wrong I'll open another PR.