1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- 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.
|
