Presenting "Complete" and "Incomplete" models separately

salmans / Razor

5 stars 0 forks source link

Presenting "Complete" and "Incomplete" models separately #23

Open salmans opened 9 years ago

salmans commented 9 years ago

Razor should present the complete models of the theory (the ones that are available within the provided bounds) first. This requires some work in the SMT solving engine and REPL.