search

mAarnos / Serkr

An automated theorem prover for first order logic.
GNU General Public License v3.0
28 stars 2 forks source link

Add a command-line parameter for maximum amount of memory to use #8

Open mAarnos opened 8 years ago

mAarnos commented 8 years ago

Some problems make the prover consume massive amounts of memory in short time. It would therefore be nice to be able to terminate the prover if it crosses some threshold of memory usage, reporting ResourceOut as the status. However, it seems that we can only estimate the amount of memory used. Is there a good formula for this estimation? Or can we portably get that data from somewhere?