Implement get models - #96

Open

maditaP wants to merge 12 commits into

moves-rwth:mainfrom

maditaP:implement-get-models

Commits on Oct 21, 2025

get-models: Add command to get models for preexpectations
maditaP
committed
3851b13
get-models: Add pretty models
maditaP
committed
257c3c7
get-models: Linearize flow
maditaP
committed
73c32d2

Commits on Oct 30, 2025

get-models: Change name of command to "get-pre-models"
maditaP
committed
5b09fdb
get-models: Extract "run_smt_check_sat" function
maditaP
committed
11586a5

Commits on Nov 3, 2025

Commits on Nov 4, 2025

get-models: Add comment explaining adding vc as assumption
maditaP
committed
38df231
get-models: Remove newline after commentblock
maditaP
committed
34b3943