search

osate / osate2-gtse

This plugin enables users to automatically explore the trade space of a system by connecting OSATE to Penn State's Trade Space Visualizer tool.
Other
5 stars 0 forks source link

Verify Satisfiability of Configurators #26

Closed sprocter closed 6 years ago

sprocter commented 6 years ago

Implement satisfiability checking for configurators.