-
Karel Koci authored
This new extension allows adding clauses in form of batches. Single batch then can or don't have to be added to picosat. This gives us ability to drop some set of clauses when we encounter missing package and we should ignore it. Batches can refer to other batches. If batch is committed so are all referred batches.