Decision var API

[amatuag]

Does Kissat (or Cadical) have an API similar to the minisat one (pasted below) that allows for control over the decision heuristics ?

void setDecisionVar (Var v, bool b); // Declare if a variable should be eligible for selection in the decision heuristic.

[arminbiere]

Unfortunately no, see issue #3.