diff --git a/Cargo.lock b/Cargo.lock
index b648c7a..624863e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -19,6 +19,13 @@ dependencies = [
  "strum",
 ]
 
+[[package]]
+name = "adf-bdd-server"
+version = "0.3.0"
+dependencies = [
+ "adf_bdd",
+]
+
 [[package]]
 name = "adf_bdd"
 version = "0.3.1"
diff --git a/Cargo.toml b/Cargo.toml
index db6c425..8367438 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [workspace]
-members=[ "lib", "bin" ]
+members=[ "lib", "bin", "server" ]
 default-members = [ "lib" ]
 
 [profile.release]
 lto = "fat"
-codegen-units = 1
\ No newline at end of file
+codegen-units = 1
diff --git a/server/Cargo.toml b/server/Cargo.toml
new file mode 100644
index 0000000..d45d5a1
--- /dev/null
+++ b/server/Cargo.toml
@@ -0,0 +1,16 @@
+[package]
+name = "adf-bdd-server"
+version = "0.3.0"
+authors = ["Lukas Gerlach <lukas.gerlach@tu-dresden.de>"]
+edition = "2021"
+homepage = "https://ellmau.github.io/adf-obdd"
+repository = "https://github.com/ellmau/adf-obdd"
+license = "MIT"
+exclude = ["res/", "./flake*", "*.nix", ".envrc", "_config.yml", "tarpaulin-report.*", "*~"]
+description = "Offer Solving ADFs as a service"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+adf_bdd = { version="0.3.1", path="../lib", features = ["frontend"] }
+
diff --git a/server/src/main.rs b/server/src/main.rs
new file mode 100644
index 0000000..e7a11a9
--- /dev/null
+++ b/server/src/main.rs
@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello, world!");
+}