An attachable hook for performing extra actions after successful calls of the SAT solver.
This is an advanced feature for Satlink hackers.
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))