Closed conp-solutions closed 5 years ago
Allow to specify resource limitations for the solver from the command line.
The code has been mainly taken from the MiniSat git repository, namely from the following commit: 93b1810 Portability fixes for resources, signals, etc + some cleanups.
Allow to specify resource limitations for the solver from the command line.
The code has been mainly taken from the MiniSat git repository, namely from the following commit: 93b1810 Portability fixes for resources, signals, etc + some cleanups.