diff --git a/capi/rustsat.h b/capi/rustsat.h
index c5542afa..d035755b 100644
--- a/capi/rustsat.h
+++ b/capi/rustsat.h
@@ -245,7 +245,7 @@ struct DynamicPolyWatchdog *dpw_new(void);
 size_t dpw_next_precision(struct DynamicPolyWatchdog *dpw);
 
 /**
- * Reserves all auxilliary variables that the encoding might need
+ * Reserves all auxiliary variables that the encoding might need
  *
  * All calls to [`dpw_encode_ub`] following a call to this function are guaranteed to not increase
  * the value of `n_vars_used`. This does _not_ hold if [`dpw_add`] is called in between
@@ -352,7 +352,7 @@ enum MaybeError gte_enforce_ub(struct DbGte *gte,
 struct DbGte *gte_new(void);
 
 /**
- * Reserves all auxilliary variables that the encoding might need
+ * Reserves all auxiliary variables that the encoding might need
  *
  * All calls to [`gte_encode_ub`] following a call to this function are guaranteed to not increase
  * the value of `n_vars_used`. This does _not_ hold if [`gte_add`] is called in between
@@ -437,7 +437,7 @@ enum MaybeError tot_enforce_ub(struct DbTotalizer *tot, size_t ub, int *assump);
 struct DbTotalizer *tot_new(void);
 
 /**
- * Reserves all auxilliary variables that the encoding might need
+ * Reserves all auxiliary variables that the encoding might need
  *
  * All calls to [`tot_encode_ub`] following a call to this function are guaranteed to not increase
  * the value of `n_vars_used`. This does _not_ hold if [`tot_add`] is called in between
diff --git a/capi/src/encodings/dpw.rs b/capi/src/encodings/dpw.rs
index 0f56a134..c8fee752 100644
--- a/capi/src/encodings/dpw.rs
+++ b/capi/src/encodings/dpw.rs
@@ -207,7 +207,7 @@ pub unsafe extern "C" fn dpw_limit_range(
         .expect("clause collector returned out of memory");
 }
 
-/// Reserves all auxilliary variables that the encoding might need
+/// Reserves all auxiliary variables that the encoding might need
 ///
 /// All calls to [`dpw_encode_ub`] following a call to this function are guaranteed to not increase
 /// the value of `n_vars_used`. This does _not_ hold if [`dpw_add`] is called in between
diff --git a/capi/src/encodings/gte.rs b/capi/src/encodings/gte.rs
index 41a61316..91cd2352 100644
--- a/capi/src/encodings/gte.rs
+++ b/capi/src/encodings/gte.rs
@@ -99,7 +99,7 @@ pub unsafe extern "C" fn gte_enforce_ub(
     }
 }
 
-/// Reserves all auxilliary variables that the encoding might need
+/// Reserves all auxiliary variables that the encoding might need
 ///
 /// All calls to [`gte_encode_ub`] following a call to this function are guaranteed to not increase
 /// the value of `n_vars_used`. This does _not_ hold if [`gte_add`] is called in between
diff --git a/capi/src/encodings/totalizer.rs b/capi/src/encodings/totalizer.rs
index 97ce38a6..a6f2229e 100644
--- a/capi/src/encodings/totalizer.rs
+++ b/capi/src/encodings/totalizer.rs
@@ -98,7 +98,7 @@ pub unsafe extern "C" fn tot_enforce_ub(
     }
 }
 
-/// Reserves all auxilliary variables that the encoding might need
+/// Reserves all auxiliary variables that the encoding might need
 ///
 /// All calls to [`tot_encode_ub`] following a call to this function are guaranteed to not increase
 /// the value of `n_vars_used`. This does _not_ hold if [`tot_add`] is called in between