You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Start modeling --> returns intermediate (file, assertions collected so far)
collect all assertions from variables, effect set
Finish modeling --> takes start modeling output as input and incrementally calls solver; if no error, return final stdout/call return StatisticalModels
query and collect assertions that need to know in order to pick valid statistical model
The text was updated successfully, but these errors were encountered:
Similar to "sign posting" programming method
Start modeling --> returns intermediate (file, assertions collected so far)
Finish modeling --> takes start modeling output as input and incrementally calls solver; if no error, return final stdout/call return StatisticalModels
The text was updated successfully, but these errors were encountered: