search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
589 stars 79 forks source link

Benchmarking gringo #509

Closed lucascool12 closed 5 days ago

lucascool12 commented 1 week ago

I'm currently writing a paper about grounding. How would you recommend we benchmark the grounding process in clingo? Currently we are just running clingo --mode gringo.

rkaminsk commented 1 week ago

This is probably fine if you are interested in the time necessary to ground an instance.