refac: project layout (lib + bin)

Cargo.toml

@@ -2,7 +2,16 @@
 name = "sdd-rs"
 version = "0.1.0"
 edition = "2021"
+authors = ["josef podany"]
+repository = "https://github.com/jsfpdn/sdd-rs"
+description = "Bottom-up sentential decision diagram compiler."
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+[lib]
+name = "sddrs"
+path = "src/lib.rs"
+
+[[bin]]
+name = "bottom_up_compiler"
+path = "bin/main.rs"
 
 [dependencies]

src/main.rs → bin/main.rs

@@ -1,11 +1,5 @@
-use crate::manager::SddManager;
-use crate::options::{GcSchedule, InitialVTree, SddOptions, VTreeStrategy};
-
-pub mod literal;
-pub mod manager;
-pub mod options;
-pub mod sdd;
-pub mod vtree;
+use sddrs::manager::SddManager;
+use sddrs::options::{GcSchedule, InitialVTree, SddOptions, VTreeStrategy};
 
 fn main() {
     let options = SddOptions::default()

src/lib.rs

@@ -0,0 +1,5 @@
+pub mod literal;
+pub mod manager;
+pub mod options;
+pub mod sdd;
+pub mod vtree;

src/sdd.rs

@@ -2,7 +2,7 @@ use std::collections::HashSet;
 use std::hash::Hash;
 
 use crate::literal::Literal;
-use crate::SddManager;
+use crate::manager::SddManager;
 
 type NodeIndex = u64;