From 74518e7dafa469886bc81db205287724e3971852 Mon Sep 17 00:00:00 2001 From: caschaff Date: Thu, 26 Feb 2026 11:04:32 +0000 Subject: [PATCH] Created some SADDL files to go with the toy example in the paper --- toy example/toy_hybrid.saddl | 11 +++++++++++ toy example/toy_rocket.saddl | 11 +++++++++++ toy example/toy_slingshot.saddl | 11 +++++++++++ 3 files changed, 33 insertions(+) create mode 100644 toy example/toy_hybrid.saddl create mode 100644 toy example/toy_rocket.saddl create mode 100644 toy example/toy_slingshot.saddl diff --git a/toy example/toy_hybrid.saddl b/toy example/toy_hybrid.saddl new file mode 100644 index 0000000..1ee0337 --- /dev/null +++ b/toy example/toy_hybrid.saddl @@ -0,0 +1,11 @@ +DEFINE CN1 as 8-year-old child can operate +DEFINE CN2 as Flies 3 m up +DEFINE CN3 as Flies at least 5 m from 1 m starting height +DEFINE CN4 as Doesn't injur people +DEFINE CN5 as Doesn't shatter glass windows +DEFINE CN6 as Fuel is easily available in common households +DEFINE FR1 as When shot up vertically, the "rocket" flies at least 3m +DEFINE FR2 as When shot horizontally from an elevation of 1 m, the "rocket" travels at least 5 m +DEFINE FR3 as The maximum kinetic energy at launch is less than 0.5 J +DEFINE FR4 as The "rocket's" impact area is at least 30 mm² +DEFINE DP1 as Hybrid launcher with rocket non-propelled diff --git a/toy example/toy_rocket.saddl b/toy example/toy_rocket.saddl new file mode 100644 index 0000000..d86f85f --- /dev/null +++ b/toy example/toy_rocket.saddl @@ -0,0 +1,11 @@ +DEFINE CN1 as 8-year-old child can operate +DEFINE CN2 as Flies 3 m up +DEFINE CN3 as Flies at least 5 m from 1 m starting height +DEFINE CN4 as Doesn't injur people +DEFINE CN5 as Doesn't shatter glass windows +DEFINE CN6 as Fuel is easily available in common households +DEFINE FR1 as When shot up vertically, the "rocket" flies at least 3m +DEFINE FR2 as When shot horizontally from an elevation of 1 m, the "rocket" travels at least 5 m +DEFINE FR3 as The maximum kinetic energy at launch is less than 0.5 J +DEFINE FR4 as The "rocket's" impact area is at least 30 mm² +DEFINE DP1 as Kinetic-reaction self-launch diff --git a/toy example/toy_slingshot.saddl b/toy example/toy_slingshot.saddl new file mode 100644 index 0000000..2747e29 --- /dev/null +++ b/toy example/toy_slingshot.saddl @@ -0,0 +1,11 @@ +DEFINE CN1 as 8-year-old child can operate +DEFINE CN2 as Flies 3 m up +DEFINE CN3 as Flies at least 5 m from 1 m starting height +DEFINE CN4 as Doesn't injur people +DEFINE CN5 as Doesn't shatter glass windows +DEFINE CN6 as Fuel is easily available in common households +DEFINE FR1 as When shot up vertically, the "rocket" flies at least 3m +DEFINE FR2 as When shot horizontally from an elevation of 1 m, the "rocket" travels at least 5 m +DEFINE FR3 as The maximum kinetic energy at launch is less than 0.5 J +DEFINE FR4 as The "rocket's" impact area is at least 30 mm² +DEFINE DP1 as Slingshot launcher