An attachable hook for performing extra actions after successful calls of the SAT solver.
This is an advanced feature for Satlink hackers.
(satlink-extra-hook cnf filename status env$ state) is an attachable function (see defattach) that is called by satlink-run-impl after successful invocations of the SAT solver.
The default hook does nothing, but you may be able to implement custom hooks that do useful things. For instance, the gather-benchmarks hook can be used to automatically collect up the DIMACS files for Satlink problems. These kinds of hooks might require additional trust tags, so it is nice to keep them out of Satlink itself.
A hook can access several arguments:
(defun default-satlink-hook (cnf filename status env$ state) (declare (xargs :stobjs (env$ state))) (declare (xargs :guard (and (lit-list-listp cnf) (stringp filename) (or (eq status :sat) (eq status :unsat))))) (declare (ignorable cnf filename status env$ state)) (let ((__function__ 'default-satlink-hook)) (declare (ignorable __function__)) nil))