diff --git a/benches/Cargo.toml b/benches/Cargo.toml
index 571d9f5..32e3011 100644
--- a/benches/Cargo.toml
+++ b/benches/Cargo.toml
@@ -9,7 +9,7 @@ edition.workspace = true
 license.workspace = true
 
 [dependencies]
-sym = { path = "../crates/sym" }
+symbit = { path = "../crates/sym" }
 pcode-ops = { path = "../crates/pcode-ops" }
 symbolic-pcode = { path = "../crates/pcode" }
 
diff --git a/benches/emulator.rs b/benches/emulator.rs
index cd4bcf1..ce53bda 100644
--- a/benches/emulator.rs
+++ b/benches/emulator.rs
@@ -3,7 +3,7 @@ use std::time::Duration;
 
 use criterion::{BatchSize, BenchmarkId, Criterion, criterion_group, criterion_main};
 use pcode_ops::PcodeOps;
-use sym::{SymbolicBitVec, SymbolicByte};
+use symbit::{SymbolicBitVec, SymbolicByte};
 use symbolic_pcode::emulator::{PcodeEmulator, StandardPcodeEmulator};
 use symbolic_pcode::libsla::{
     Address, AddressSpace, AddressSpaceId, AddressSpaceType, BoolOp, IntOp, IntSign, OpCode,
diff --git a/crates/sym/Cargo.toml b/crates/sym/Cargo.toml
index cd8859d..357680b 100644
--- a/crates/sym/Cargo.toml
+++ b/crates/sym/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "sym"
+name = "symbit"
 description = "Symbolic representation of binary data"
 version = "0.1.0"
 
diff --git a/crates/sym/src/convert.rs b/crates/sym/src/convert.rs
index e6a0b9c..38f9656 100644
--- a/crates/sym/src/convert.rs
+++ b/crates/sym/src/convert.rs
@@ -46,7 +46,7 @@ impl From<SymbolicBit> for SymbolicBitVec {
 /// # Examples
 ///
 /// ```
-/// # use sym::{ConcreteValue, SymbolicBitBuf};
+/// # use symbit::{ConcreteValue, SymbolicBitBuf};
 /// let value = ConcreteValue::new(0xDEADBEEFu32);
 /// let buf = SymbolicBitBuf::<32>::from(value);
 /// assert_eq!(value, buf.try_into().unwrap());
diff --git a/crates/sym/src/vec.rs b/crates/sym/src/vec.rs
index 175f7a0..6312ace 100644
--- a/crates/sym/src/vec.rs
+++ b/crates/sym/src/vec.rs
@@ -225,7 +225,7 @@ impl SymbolicBitVec {
     /// # Unsigned Example
     ///
     /// ```
-    /// # use sym::SymbolicBitVec;
+    /// # use symbit::SymbolicBitVec;
     /// let x = SymbolicBitVec::constant(2, 4);
     /// let y = SymbolicBitVec::constant(15, 4);
     ///
@@ -240,7 +240,7 @@ impl SymbolicBitVec {
     /// # Signed Example
     ///
     /// ```
-    /// # use sym::SymbolicBitVec;
+    /// # use symbit::SymbolicBitVec;
     /// let x = SymbolicBitVec::constant(0x2, 4); // Positive 2
     /// let y = SymbolicBitVec::constant(0xF, 4); // Negative 1
     ///
diff --git a/tests/Cargo.toml b/tests/Cargo.toml
index 2c80183..708ea0a 100644
--- a/tests/Cargo.toml
+++ b/tests/Cargo.toml
@@ -12,7 +12,7 @@ edition.workspace = true
 aiger-circuit = "1"
 symbolic-pcode = { path = "../crates/pcode" }
 pcode-ops = { path = "../crates/pcode-ops" }
-sym = { path = "../crates/sym" }
+symbit = { path = "../crates/sym" }
 
 [dev-dependencies]
 flexi_logger = "0.31"
diff --git a/tests/common/mod.rs b/tests/common/mod.rs
index 3dead76..3e86856 100644
--- a/tests/common/mod.rs
+++ b/tests/common/mod.rs
@@ -2,7 +2,7 @@ use std::path::Path;
 use std::sync::OnceLock;
 
 use sleigh_config::{processor_aarch64, processor_x86};
-use sym::{SymbolicBit, SymbolicBitVec, SymbolicByte};
+use symbit::{SymbolicBit, SymbolicBitVec, SymbolicByte};
 use symbolic_pcode::libsla::{self, Address, GhidraSleigh, Sleigh, VarnodeData};
 use symbolic_pcode::mem::{GenericMemory, VarnodeDataStore};
 
diff --git a/tests/hello_world/util.rs b/tests/hello_world/util.rs
index c537c56..44ce622 100644
--- a/tests/hello_world/util.rs
+++ b/tests/hello_world/util.rs
@@ -1,4 +1,4 @@
-use sym::SymbolicBitVec;
+use symbit::SymbolicBitVec;
 use symbolic_pcode::libsla::{Address, Sleigh, VarnodeData};
 use symbolic_pcode::mem::VarnodeDataStore;
 
diff --git a/tests/x86_64_emulator.rs b/tests/x86_64_emulator.rs
index 0997226..af4b9c4 100644
--- a/tests/x86_64_emulator.rs
+++ b/tests/x86_64_emulator.rs
@@ -1,5 +1,5 @@
 use pcode_ops::PcodeOps;
-use sym::{self, Evaluator, SymbolicBitVec, VariableAssignments};
+use symbit::{self, Evaluator, SymbolicBit, SymbolicBitVec, VariableAssignments};
 use symbolic_pcode::{
     arch::x86::processor::ProcessorHandlerX86,
     emulator::StandardPcodeEmulator,
@@ -279,7 +279,7 @@ fn z3_integration() -> processor::Result<()> {
         common::EXIT_IP_ADDR.into(),
     )?;
 
-    let input_value = sym::SymbolicBitVec::with_size(32);
+    let input_value = SymbolicBitVec::with_size(32);
 
     // Input register is EDI
     let name = "EDI";
@@ -493,7 +493,7 @@ fn take_the_path_not_taken() -> processor::Result<()> {
     )?;
 
     // Create symbolic input
-    let input_value: [_; 32] = std::array::from_fn(sym::SymbolicBit::Variable);
+    let input_value: [_; 32] = std::array::from_fn(SymbolicBit::Variable);
     let input_value = input_value.into_iter().collect();
 
     // The test will emulate with a symbolic value. However if we encounter any branch that uses a
@@ -560,7 +560,7 @@ fn take_the_path_not_taken() -> processor::Result<()> {
     let parent_path = branches
         .into_iter()
         .reduce(|x, y| x & y)
-        .unwrap_or(sym::TRUE);
+        .unwrap_or(symbit::TRUE);
     let other_branch = parent_path & !last_branch;
 
     // Solve with Z3