diff --git a/Cargo.toml b/Cargo.toml index b843685..d8b3549 100644 --- a/Cargo.toml +++ b/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] diff --git a/src/main.rs b/bin/main.rs similarity index 63% rename from src/main.rs rename to bin/main.rs index 27f3b5b..7a0eb40 100644 --- a/src/main.rs +++ b/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() diff --git a/src/lib.rs b/src/lib.rs new file mode 100644 index 0000000..57480ce --- /dev/null +++ b/src/lib.rs @@ -0,0 +1,5 @@ +pub mod literal; +pub mod manager; +pub mod options; +pub mod sdd; +pub mod vtree; diff --git a/src/sdd.rs b/src/sdd.rs index 8752f53..cfe39a3 100644 --- a/src/sdd.rs +++ b/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;