libs/minisat/00_PATCH_typofixes.patch

   1 --- Solver.h
   2 +++ Solver.h
   3 @@ -103,7 +103,7 @@ public:
   4      int     nFreeVars  ()      const;
   5      void    printStats ()      const;       // Print some current statistics to standard output.
   6
   7 -    // Resource contraints:
   8 +    // Resource constraints:
   9      //
  10      void    setConfBudget(int64_t x);
  11      void    setPropBudget(int64_t x);
  12 @@ -230,7 +230,7 @@ protected:
  13      double              learntsize_adjust_confl;
  14      int                 learntsize_adjust_cnt;
  15
  16 -    // Resource contraints:
  17 +    // Resource constraints:
  18      //
  19      int64_t             conflict_budget;    // -1 means no budget.
  20      int64_t             propagation_budget; // -1 means no budget.