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

Rewrite configurator verification to use disjoint set #20

Closed sprocter closed 6 years ago

sprocter commented 7 years ago

The current configurator verification uses a sort of clumsy map-of-sets data structure. It should be rewritten to use a disjoint-set backing.

sprocter commented 6 years ago

Configurators are now more complex, so we have to use the full sat-solving infrastructure.