From e1b9eeb3b28f50f2a2364110a30bb98110759fe8 Mon Sep 17 00:00:00 2001 From: Stefan Ellmauthaler Date: Tue, 26 Jul 2022 12:19:00 +0200 Subject: [PATCH] Add metadata to bin/Cargo.toml, add features added a benchmark feature, to easily compile benchmark-releases --- bin/Cargo.toml | 7 +++++-- lib/Cargo.toml | 1 + 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/bin/Cargo.toml b/bin/Cargo.toml index 5374876..6a5ccaf 100644 --- a/bin/Cargo.toml +++ b/bin/Cargo.toml @@ -3,8 +3,10 @@ name = "adf_bdd-solver" version = "0.2.5" authors = ["Stefan Ellmauthaler "] 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"] +exclude = ["res/", "./flake*", "*.nix", ".envrc", "_config.yml", "tarpaulin-report.*", "*~"] description = "Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html @@ -33,4 +35,5 @@ adhoccounting = ["adf_bdd/adhoccounting"] # count models ad-hoc - disable if importexport = ["adf_bdd/importexport"] variablelist = [ "HashSet", "adf_bdd/variablelist" ] HashSet = ["adf_bdd/HashSet"] -adhoccountmodels = ["adf_bdd/adhoccountmodels"] \ No newline at end of file +adhoccountmodels = ["adf_bdd/adhoccountmodels"] +benchmark = ["adf_bdd/benchmark"] \ No newline at end of file diff --git a/lib/Cargo.toml b/lib/Cargo.toml index ad05d20..33b761b 100644 --- a/lib/Cargo.toml +++ b/lib/Cargo.toml @@ -47,3 +47,4 @@ importexport = [] variablelist = [ "HashSet" ] HashSet = [] adhoccountmodels = [ "adhoccounting" ] # count models as well as paths ad-hoc note that facet methods will need this feature too +benchmark = ["adhoccounting", "variablelist"] # set of features for speed benchmarks