I wonder whether Google or-tools support incremental SAT solving?
Many applications of SAT are based on solving a sequence of incrementally generated SAT ins
