Module rustsat_glucose::simp

source ·
Expand description

§Glucose 4 Solver Interface With Preprocessing (Simp)

Interface to the Glucose incremental SAT solver.

Structs§

  • Glucose
    The Glucose 4 solver type with preprocessing
  • Interrupter
    An Interrupter for the Glucose 4 Simp solver