summaryrefslogtreecommitdiff
path: root/libs/minisat/Solver.h
diff options
context:
space:
mode:
Diffstat (limited to 'libs/minisat/Solver.h')
-rw-r--r--libs/minisat/Solver.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/minisat/Solver.h b/libs/minisat/Solver.h
index 62a12f3c..44570b0e 100644
--- a/libs/minisat/Solver.h
+++ b/libs/minisat/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.