| --- Solver.h | |
| +++ Solver.h | |
| @@ -103,7 +103,7 @@ public: | |
| int nFreeVars () const; | |
| void printStats () const; // Print some current statistics to standard output. | |
| - // Resource contraints: | |
| + // Resource constraints: | |
| // | |
| void setConfBudget(int64_t x); | |
| void setPropBudget(int64_t x); | |
| @@ -230,7 +230,7 @@ protected: | |
| double learntsize_adjust_confl; | |
| int learntsize_adjust_cnt; | |
| - // Resource contraints: | |
| + // Resource constraints: | |
| // | |
| int64_t conflict_budget; // -1 means no budget. | |
| int64_t propagation_budget; // -1 means no budget. |