rustsat_glucose

Module core

source
Expand description

§Glucose Solver Interface Without Preprocessing (Core)

Interface to the Glucose incremental SAT solver.

Structs§

  • Glucose
    The Glucose 4 solver type without preprocessing
  • Interrupter
    An Interrupter for the Glucose 4 Core solver