Obama

Editor GitHub co-design-modelslibraries rover_energetics specs models thingsObama

Editor

Visualization

	catalogue { provides plutonium [g] requires objectives [`scientific_objectives] _ \| 50g \| `scientific_objectives : find_ancient_life }

Diagramremove
Other informationremove

Internal representation details

SimpleWrap                                                                     
│  provides   plutonium   {50 g} │ requires   objectives   {find_ancient_life} 
└ DP_GenericConstant {50 g}  ⇸  {find_ancient_life}                            
   true                                                                        
  ├  b: _                                                                      
  ├ lf: LowerSet(maximals=ff❨50.000000000❩)                                    
  └ ur: UpperSet(minimals=ff❨find_ancient_life❩)