Skip to content

Resolve "Support xSAP FDI analysis"

Luca Cristoforetti requested to merge 15-support-xsap-fdi-analysis-msat into master

Closes #15 (closed)

Some fixes to handle the needMsat option in the OptimizeObservables commands

Edited by Luca Cristoforetti

Merge request reports