Run main.pl to find/generate lattices and create ansible files
swipl main.pl predicate args
Generate full lattice showing all possible paths
swipl main.pl allPossiblePaths
Find all possible paths for scenario, group paths by compatible configurations, and separate into differnt directories.
Directories include:
- Lattice
- Variable file (contains configurations)
- playbook.yml
swipl main.pl createAllPaths '[Goal]' '[InitialState]' 'Name'
swipl main.pl createAllPaths '[server_access_root]' '[]' 'server_access_root'
Select which scenario you want to create and instantiate the cyber range.
swipl main.pl createRange 'Directory_Name'
swipl main.pl createRange 'server_access_root1'