refactor: benchmarks now have own dir

examples/reachability.rs

@@ -1,8 +1,6 @@
-use biodivine_lib_logical_models::{
-    prelude::{
-        BinaryIntegerDomain, GrayCodeIntegerDomain, PetriNetIntegerDomain, UnaryIntegerDomain,
-    },
-    reachability_benchmark,
+use biodivine_lib_logical_models::benchmarks::reachability::reachability_benchmark;
+use biodivine_lib_logical_models::prelude::{
+    BinaryIntegerDomain, GrayCodeIntegerDomain, PetriNetIntegerDomain, UnaryIntegerDomain,
 };
 
 fn main() {

src/benchmarks/mod.rs

@@ -0,0 +1 @@
+pub mod reachability;

src/lib.rs

@@ -1,5 +1,5 @@
-pub use prototype::reachability_benchmark; // this is the only one that should be publicly exported for now
-
+// pub use prototype::reachability_benchmark; // this is the only one that should be publicly exported for now
+pub mod benchmarks;
 pub mod prelude; // not `prelude::*`; we want to be explicit about what we import
 mod prototype;
 mod symbolic_domain;

src/prototype/mod.rs

@@ -23,6 +23,3 @@ pub use smart_system_update_fn::*;
 
 mod symbolic_transition_fn;
 pub use symbolic_transition_fn::*;
-
-mod reachability;
-pub use reachability::*;